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
environment.

they're caused by https://github.com/mit-plv/rewriter/commit/0c2c317ef197467cb79d77fa33e21e2cd9be9095 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 https://github.com/mit-plv/fiat-crypto/pull/947 soon which should fix things


Last updated: Mar 29 2024 at 07:01 UTC