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?
This cross-crypto overlay is not merged: https://github.com/mit-plv/cross-crypto/pull/26 which might explain the timeout
This should be fixed soon (https://github.com/mit-plv/cross-crypto/pull/26)
Last updated: Oct 13 2024 at 01:02 UTC