aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rw-r--r--dev/ci/ci-basic-overlay.sh4
1 files changed, 2 insertions, 2 deletions
diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh
index 1dfade261..a6972c950 100644
--- a/dev/ci/ci-basic-overlay.sh
+++ b/dev/ci/ci-basic-overlay.sh
@@ -13,8 +13,8 @@
########################################################################
# UniMath
########################################################################
-: ${UniMath_CI_BRANCH:=master}
-: ${UniMath_CI_GITURL:=https://github.com/UniMath/UniMath.git}
+: ${UniMath_CI_BRANCH:=coq_makefile2-fix}
+: ${UniMath_CI_GITURL:=https://github.com/maximedenes/UniMath.git}
########################################################################
# Unicoq + Metacoq