Skip to content

[CI] Only run test-suite on Rocq master#179

Merged
proux01 merged 1 commit into
rocq-prover:masterfrom
proux01:test-suite-only-master
Jul 2, 2025
Merged

[CI] Only run test-suite on Rocq master#179
proux01 merged 1 commit into
rocq-prover:masterfrom
proux01:test-suite-only-master

[CI] Only run test-suite on Rocq master

3e6b50c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.