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

"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

when trying to use the CI artifacts? The bug minimizer isn't working at

Last updated: Nov 29 2023 at 18:01 UTC