diff options
author | Matthieu Sozeau <mattam@mattam.org> | 2017-10-22 10:46:14 +0200 |
---|---|---|
committer | Matthieu Sozeau <mattam@mattam.org> | 2017-11-20 10:22:17 +0100 |
commit | 9826bbd4eb1ded394d38a94abff25baa71823221 (patch) | |
tree | 8e2ae9636fbc3d48a3921c3ee9eb9445de450f3d /dev/ci/ci-basic-overlay.sh | |
parent | edf1a8f36f75861b822081b3825357e122b6937d (diff) |
Add Equations to CI
Diffstat (limited to 'dev/ci/ci-basic-overlay.sh')
-rw-r--r-- | dev/ci/ci-basic-overlay.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh index cb1493d6a..168a34e6e 100644 --- a/dev/ci/ci-basic-overlay.sh +++ b/dev/ci/ci-basic-overlay.sh @@ -135,3 +135,9 @@ ######################################################################## : ${bignums_CI_BRANCH:=master} : ${bignums_CI_GITURL:=https://github.com/coq/bignums.git} + +######################################################################## +# Equations +######################################################################## +: ${Equations_CI_BRANCH:=8.8+alpha} +: ${Equations_CI_GITURL:=https://github.com/mattam82/Coq-Equations.git} |