Jason Gross (Jan 18 2022 at 21:08): Jason Gross (Jan 18 2022 at 21:08):https://github.com/coq/coq/pull/15509 changes nothing but the script for ci-flocq, and has a timeout on ci-cross_crypto and a failure on the windows job. What's going on?
Matthieu Sozeau (Jan 18 2022 at 22:18):This cross-crypto overlay is not merged: https://github.com/mit-plv/cross-crypto/pull/26 which might explain the timeout
Matthieu Sozeau (Jan 19 2022 at 13:47):This should be fixed soon (https://github.com/mit-plv/cross-crypto/pull/26)
Last updated: Apr 20 2024 at 05:01 UTC