diff options
| author | Hugo Herbelin | 2018-10-12 22:38:02 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2019-06-08 21:00:07 +0200 |
| commit | b93a0abded40bec15c6d4105b2d9b418a18ede6c (patch) | |
| tree | 10fce2e6f8d6de46ae2605ea2496f90ca20e5064 /dev | |
| parent | 398fe8ee23759a1c28d91204aa013beae1dc602b (diff) | |
Overlays for Elpi + Equations + Mtac2 + fiat parsers + paramcoq.
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/ci/user-overlays/08726-herbelin-master+more-stable-meaning-to-Discharge-flag.sh | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/dev/ci/user-overlays/08726-herbelin-master+more-stable-meaning-to-Discharge-flag.sh b/dev/ci/user-overlays/08726-herbelin-master+more-stable-meaning-to-Discharge-flag.sh new file mode 100644 index 0000000000..242b177d71 --- /dev/null +++ b/dev/ci/user-overlays/08726-herbelin-master+more-stable-meaning-to-Discharge-flag.sh @@ -0,0 +1,23 @@ +if [ "$CI_PULL_REQUEST" = "8726" ] || [ "$CI_BRANCH" = "master+more-stable-meaning-to-Discharge-flag" ]; then + + fiat_parsers_CI_BRANCH=master+change-for-coq-pr8726 + fiat_parsers_CI_REF=master+change-for-coq-pr8726 + fiat_parsers_CI_GITURL=https://github.com/herbelin/fiat + + elpi_CI_BRANCH=coq-master+fix-global-pr8726 + elpi_CI_REF=coq-master+fix-global-pr8726 + elpi_CI_GITURL=https://github.com/herbelin/coq-elpi + + equations_CI_BRANCH=master+fix-global-pr8726 + equations_CI_REF=master+fix-global-pr8726 + equations_CI_GITURL=https://github.com/herbelin/Coq-Equations + + mtac2_CI_BRANCH=master+fix-global-pr8726 + mtac2_CI_REF=master+fix-global-pr8726 + mtac2_CI_GITURL=https://github.com/herbelin/Mtac2 + + paramcoq_CI_BRANCH=master+fix-global-pr8726 + paramcoq_CI_REF=master+fix-global-pr8726 + paramcoq_CI_GITURL=https://github.com/herbelin/paramcoq + +fi |