diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-06-13 17:24:43 +0200 |
---|---|---|
committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2017-06-13 17:24:43 +0200 |
commit | e36d139f6cb73d1e5021a77d38925b2879efda62 (patch) | |
tree | bfb524ea0086dd2a71b482901d0e328f215543b6 /dev/ci/ci-basic-overlay.sh | |
parent | 5bf9c993d3ef15ecf4c6d5c12f23f9c2fe67dfa7 (diff) |
Revert "[travis] temporary UniMath overlay"
This reverts commit 7ca4e36af8a12236a618bd3a8d045439df40dd43.
Not necessary anymore since UniMath/UniMath#715 has been merged.
Diffstat (limited to 'dev/ci/ci-basic-overlay.sh')
-rw-r--r-- | dev/ci/ci-basic-overlay.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh index 3adc31935..d7714274e 100644 --- a/dev/ci/ci-basic-overlay.sh +++ b/dev/ci/ci-basic-overlay.sh @@ -13,8 +13,8 @@ ######################################################################## # UniMath ######################################################################## -: ${UniMath_CI_BRANCH:=coq_makefile2-fix} -: ${UniMath_CI_GITURL:=https://github.com/maximedenes/UniMath.git} +: ${UniMath_CI_BRANCH:=master} +: ${UniMath_CI_GITURL:=https://github.com/UniMath/UniMath.git} ######################################################################## # Unicoq + Metacoq |