Skip to content

Run test-suite on Alpine CI - #169

Draft
andres-erbsen wants to merge 8 commits into
rocq-prover:masterfrom
andres-erbsen:alpine-test-suite
Draft

Run test-suite on Alpine CI#169
andres-erbsen wants to merge 8 commits into
rocq-prover:masterfrom
andres-erbsen:alpine-test-suite

run test-suite on Alpine CI

326358c
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs