Skip to content

Add rocq installation in GitHub test-suite workflow

aea1903
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Fix syntax error on Rocq output by using a better printing system #59

Add rocq installation in GitHub test-suite workflow
aea1903
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
Label
succeeded Mar 25, 2026 in 7s