blob: 9c95c49c9feae51c8d6dbb632f9cc9f23649666b (
plain)
1
2
3
4
5
6
7
8
9
|
#!/usr/bin/env bash
ci_dir="$(dirname "$0")"
. "${ci_dir}/ci-common.sh"
git_download coq_tools
( cd "${CI_BUILD_DIR}/coq_tools" && make check || \
{ RV=$?; echo "The build broke, if an overlay is needed, mention @JasonGross in describing the expected change in Coq that needs to be taken into account, and he'll prepare a fix for coq-tools"; exit $RV; } )
|
