I'm using the Nix toolbox-based simple CI that Théo set up for our templates. However, the Coq
master CI builds now give errors like this:
Findlib error: zarith not found in: /nix/store/z5g7xb2ql05idyicf7c2r9h2c7l2rsfx-coq-dev/lib/coq/../coq-core/.. /nix/store/z5g7xb2ql05idyicf7c2r9h2c7l2rsfx-coq-dev/lib/coq/user-contrib/Ltac2 /nix/store/q8xz588kv95cr7kwzpg6kdsm50h6kmcj-ocaml-findlib-1.9.1/lib/ocaml/4.12.0/site-lib required by `coq-core.interp'
All of this is probably related to the findlib changes, but is this easy to fix or should I disable all
master CI builds with Nix toolbox using the templates Nix CI?
Example failing run: https://github.com/coq-community/huffman/runs/5170991795?check_suite_focus=true
reported as https://github.com/coq-community/coq-nix-toolbox/issues/95 for more effective monitoring/discussion
this is the earliest failure I see (8 days ago): https://github.com/coq-community/reglang/runs/5075734493?check_suite_focus=true
Last updated: Jan 29 2023 at 15:02 UTC