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 ?
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: Feb 06 2023 at 20:02 UTC