[CI] Pinning for 8.10

coq · May 13, 2019 · e1e727d · e1e727d
1 parent a525c39
commit e1e727d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh
@@ -257,7 +257,7 @@
 ########################################################################
 # relation_algebra
 ########################################################################
-: "${relation_algebra_CI_REF:=master}"
+: "${relation_algebra_CI_REF:=c85b4cb1532bad331bcfb5923f20dd65eade3142}"
 : "${relation_algebra_CI_GITURL:=https://github.com/damien-pous/relation-algebra}"
 : "${relation_algebra_CI_ARCHIVEURL:=${relation_algebra_CI_GITURL}/archive}"