blob: 9d96b6d4cfac59cfa8f2f24e530a8e2da43d9c9b (
plain)
1
2
3
4
|
if [ "$CI_PULL_REQUEST" = "664" ] || [ "$CI_BRANCH" = "trunk+fix-5500-too-weak-test-return-clause" ]; then
fiat_parsers_CI_BRANCH=master+change-for-coq-pr664-compatibility
fiat_parsers_CI_GITURL=https://github.com/herbelin/fiat
fi
|
