Build with Make

Using the `rocq-coinduction` library #22

This workflow is awaiting approval from a maintainer in #285

Triggered via pull request July 25, 2026 11:28

synchronize #285

Status Action required

Total duration –

Artifacts –

This workflow is awaiting approval from a maintainer in #285

build-with-make.yml

on: pull_request

Matrix: build-with-make

Waiting for pending jobs