diff options
| author | Maxime Dénès | 2017-07-07 09:34:39 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-07-07 09:34:39 +0200 |
| commit | f896d7cbfd22713e434d6de74e973a2ed1195913 (patch) | |
| tree | 3b72c7d3cbc2b1ebed88e64ad1988157b05ceb94 /dev | |
| parent | 1111aeb445261af9e74770c0fe3bfd0ffd4930e2 (diff) | |
| parent | b3f01cb72f7e309aef83f49182bbec44d241b63a (diff) | |
Merge PR #800: Enable fiat-crypto
Diffstat (limited to 'dev')
| -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 |