diff options
| author | Maxime Dénès | 2017-06-15 11:45:45 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-06-15 11:45:45 +0200 |
| commit | c5dabed1c1f33005fe942882ea0fcf008d52784a (patch) | |
| tree | 2d892ec15b5fc0e59acc20d766128de47f7b3528 /dev/ci/ci-basic-overlay.sh | |
| parent | 929dc481c91dc860b69b08dd65fb6f65d5650e23 (diff) | |
Remove bedrock from test suite.
Bedrock relies on the 8.4 compat flag that we are removing, and we heard
from MIT that they did not plan to port bedrock to more recent versions
of Coq.
Diffstat (limited to 'dev/ci/ci-basic-overlay.sh')
| -rw-r--r-- | dev/ci/ci-basic-overlay.sh | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh index 7f66dfb3b0..0099e815f4 100644 --- a/dev/ci/ci-basic-overlay.sh +++ b/dev/ci/ci-basic-overlay.sh @@ -95,18 +95,6 @@ : ${fiat_crypto_CI_GITURL:=https://github.com/letouzey/fiat-crypto.git} ######################################################################## -# bedrock_src -######################################################################## -: ${bedrock_src_CI_BRANCH:=master} -: ${bedrock_src_CI_GITURL:=https://github.com/mit-plv/bedrock.git} - -######################################################################## -# bedrock_facade -######################################################################## -: ${bedrock_facade_CI_BRANCH:=master} -: ${bedrock_facade_CI_GITURL:=https://github.com/mit-plv/bedrock.git} - -######################################################################## # formal-topology ######################################################################## : ${formal_topology_CI_BRANCH:=ci} |