coq
forked from coq/coq
Star 1
Fork 0
Watch

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

April 2025

coqbot-app[bot]
Merge PR #20439: ci-quickchick don't use dune build -p
committed
Gaëtan Gilbert
ci-quickchick don't use dune build -p
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