Stream: Nix toolbox devs & users

Topic: Simple Nix CI zarith failure


view this post on Zulip 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?

view this post on Zulip Karl Palmskog (Feb 13 2022 at 12:10):

Example failing run: https://github.com/coq-community/huffman/runs/5170991795?check_suite_focus=true

view this post on Zulip 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

view this post on Zulip 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: Jan 29 2023 at 15:02 UTC