blob: aec5c4fa3d9a931d83057b4beee5e22ae258e34d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
if [ "$CI_PULL_REQUEST" = "11604" ] || [ "$CI_BRANCH" = "persistent-arrays" ]; then
unicoq_CI_REF=persistent-arrays
unicoq_CI_GITURL=https://github.com/maximedenes/unicoq
elpi_CI_REF=persistent-arrays
elpi_CI_GITURL=https://github.com/maximedenes/coq-elpi
#relation_algebra_CI_REF=persistent-arrays
#relation_algebra_CI_GITURL=https://github.com/maximedenes/relation-algebra
coqhammer_CI_REF=persistent-arrays
coqhammer_CI_GITURL=https://github.com/maximedenes/coqhammer
metacoq_CI_REF=persistent-arrays
metacoq_CI_GITURL=https://github.com/maximedenes/metacoq
fi
|
