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: Jun 05 2023 at 09:01 UTC