coq
forked from coq/coq
Star 1
Fork 0
Watch

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

February 2026

coqbot-app[bot]
Merge PR #21573: iris-examples: prepare for opam file being renamed
committed
Ralf Jung
iris-examples: prepare for opam file being renamed
committed

September 2025

coqbot-app[bot]
Merge PR #21041: Fix ci-iris
committed
Gaëtan Gilbert
Fix ci-iris
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