Gaëtan Gilbert (Oct 08 2022 at 11:01): Gaëtan Gilbert (Oct 08 2022 at 11:01):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
Gaëtan Gilbert (Oct 08 2022 at 11:03):(I'm killing those jobs as we don't need to waste hours on them)
Jason Gross (Oct 08 2022 at 11:05):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: Nov 29 2023 at 19:01 UTC