diff options
| author | Jason Gross | 2017-06-15 20:42:44 -0400 |
|---|---|---|
| committer | Jason Gross | 2017-07-04 18:56:51 -0400 |
| commit | b3f01cb72f7e309aef83f49182bbec44d241b63a (patch) | |
| tree | d7ca24b0961ad737e645e7b729c4e2019dd35943 /dev/ci | |
| parent | 8155ba54ae39dd71c6b8ddff2b2b7353dde9aff8 (diff) | |
Revert fiat-crypto overlay
Not a useful overlay. Fiat-crypto has since been updated to pass
-compat 8.6.
Diffstat (limited to 'dev/ci')
| -rw-r--r-- | dev/ci/ci-basic-overlay.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh index 99ec43e412..91337b9013 100644 --- a/dev/ci/ci-basic-overlay.sh +++ b/dev/ci/ci-basic-overlay.sh @@ -91,8 +91,8 @@ ######################################################################## # fiat_crypto ######################################################################## -: ${fiat_crypto_CI_BRANCH:=less_init_plugins} -: ${fiat_crypto_CI_GITURL:=https://github.com/letouzey/fiat-crypto.git} +: ${fiat_crypto_CI_BRANCH:=master} +: ${fiat_crypto_CI_GITURL:=https://github.com/mit-plv/fiat-crypto.git} ######################################################################## # formal-topology |