Stream: Coq devs & plugin devs

Topic: findlib and CI artifacts


view this post on Zulip Jason Gross (Jan 24 2023 at 16:50):

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