Gaëtan Gilbert (Apr 28 2021 at 10:47): 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
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: Sep 25 2023 at 12:01 UTC