In Coq's CI log for metacoq there are a bunch of ignored errors like https://gitlab.com/coq/coq/-/jobs/754770686#L830
Fatal error: exception Sys_error("../template-coq/build: No such file or directory")
what is this about?
This is due to the difference between the two build strategies of metacoq (local, where build is here, and global/opam where we don't need the include)
Last updated: Aug 11 2022 at 01:03 UTC