Karl Palmskog (Feb 13 2022 at 12:10): Karl Palmskog (Feb 13 2022 at 12:10):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?
Karl Palmskog (Feb 13 2022 at 12:10):Example failing run: https://github.com/coq-community/huffman/runs/5170991795?check_suite_focus=true
Karl Palmskog (Feb 13 2022 at 14:47):reported as https://github.com/coq-community/coq-nix-toolbox/issues/95 for more effective monitoring/discussion
Karl Palmskog (Feb 13 2022 at 14:52):this is the earliest failure I see (8 days ago): https://github.com/coq-community/reglang/runs/5075734493?check_suite_focus=true
Last updated: Oct 13 2024 at 01:02 UTC