coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of dev/ci/scripts/ci-mathcomp_test.sh

May 2026

coqbot-app[bot]
Merge PR #22073: [CI] Fix jasmin and mathcomp-test
committed
Pierre Roux
[CI] Fix mathcomp test
committed

February 2025

coqbot-app[bot]
Merge PR #20268: CI: move scripts to dev/ci/scripts
committed
Gaëtan Gilbert
CI: move scripts to dev/ci/scripts
committed