Stream: Coq devs & plugin devs

Topic: CI Broken?


view this post on Zulip 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?

view this post on Zulip 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

view this post on Zulip Matthieu Sozeau (Jan 19 2022 at 13:47):

This should be fixed soon (https://github.com/mit-plv/cross-crypto/pull/26)


Last updated: Oct 13 2024 at 01:02 UTC