https://gitlab.com/coq/coq/-/jobs/3144259118 is at 10h
https://gitlab.com/coq/coq/-/jobs/3141987547 at 20h
both on COQC src/PushButtonSynthesis/UnsaturatedSolinas.v
cc @Jason Gross
(I'm killing those jobs as we don't need to waste hours on them)
Sorry, I didn't realize this would happen. I've been trying to get https://github.com/mit-plv/fiat-crypto/pull/1416 to build on Fiat Crypto's CI for a while. Hopefully it'll succeed this time and auto merge in a couple of hours and this will fix the issue
Last updated: Jun 08 2023 at 04:01 UTC