coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of dev/ci/gitlab-section.sh

January 2022

coqbot-app[bot]
Merge PR #15514: Use folding sections in gitlab CI + remove useless set -e
committed
Gaëtan Gilbert
Use folding sections in gitlab CI + remove useless set -e
committed