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: Apr 14 2024 at 11:02 UTC