Did something change recently (past month or so) that would cause
Error:
Anomaly
"Uncaught exception Failure("Config file not found - neither /root/.opamcache/4.14.0+flambda/lib/findlib.conf nor the directory /root/.opamcache/4.14.0+flambda/lib/findlib.conf.d")."
Please report at http://coq.inria.fr/bugs/.
when trying to use the CI artifacts? The bug minimizer isn't working at https://github.com/coq/coq/pull/16967#issuecomment-1402229752
Last updated: Oct 13 2024 at 01:02 UTC