Wy do I get "unbound module Erasure" when I run ci-metacoq locally? it seems to work fine in the pipelines
No idea, seems to work fine here.
Strange, maybe it's an ocaml issue? Which version are you using Gaëtan ?
4.09.1
I got it too, on 4.09 and an unclean archive
still getting this (it was on the second run of ci-metacoq)
Last updated: Jun 04 2023 at 19:30 UTC