Stream: Coq devs & plugin devs

Topic: fiat-crypto looping


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

view this post on Zulip Gaëtan Gilbert (Oct 08 2022 at 11:03):

(I'm killing those jobs as we don't need to waste hours on them)

view this post on Zulip 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: Feb 06 2023 at 18:03 UTC