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: May 19 2024 at 16:02 UTC