Stream: Coq devs & plugin devs

Topic: fiat-crypto currently broken

view this post on Zulip Gaƫtan Gilbert (Apr 28 2021 at 10:47):

ignore fiat-crypto failures in CI with error message

File "./src/Language/WfExtra.v", line 71, characters 10-29:
Error: The reference Wf3_FromFlat_ToFlat was not found in the current

they're caused by and not our problem

view this post on Zulip Jason Gross (Apr 28 2021 at 12:45):

Sorry about this, my updates were out of sync, I plan to merge soon which should fix things

Last updated: Oct 21 2021 at 21:03 UTC