diff options
| author | Gaëtan Gilbert | 2020-07-10 13:47:56 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-07-10 13:47:56 +0200 |
| commit | 5a6afa0acfdf575b818d7d88588cb2fad5b813b8 (patch) | |
| tree | 66000683458d444d8e9194664ddd761dd90fa8a9 /dev/ci/ci-basic-overlay.sh | |
| parent | f2dc2f5fc8c745c69c0161a91063b11838fb684b (diff) | |
Fix fiat_crypto(_ocaml) needs/dependencies
It seems gitlab has issues with missing transitive dependencies, for
instance in https://gitlab.com/coq/coq/-/pipelines/164834444 rewriter
failed (missing overlay), fiat_crypto was skipped and
fiat_crypto_ocaml was incorrectly started and so failed.
May also fix (intermittent?) issue where it doesn't download the
rewriter or bignum artifact and gets incompatible ocaml when compiling.
Diffstat (limited to 'dev/ci/ci-basic-overlay.sh')
0 files changed, 0 insertions, 0 deletions