Jason Gross (Mar 02 2023 at 00:08): Jason Gross (Mar 02 2023 at 00:08):It seems the deploy action is broken
[ERROR] The compilation of coq-bot failed at "/home/opam/.opam/4.10/bin/dune build -p coq-bot -j 71 @install".
#=== ERROR while compiling coq-bot.~dev =======================================#
# context 2.0.6 | linux/x86_64 | ocaml-base-compiler.4.10.0 | pinned(git+file:///src#master#be61c017)
# path ~/.opam/4.10/.opam-switch/build/coq-bot.~dev
# command ~/.opam/4.10/bin/dune build -p coq-bot -j 71 @install
# exit-code 1
# env-file ~/.opam/log/coq-bot-1-cb161d.env
# output-file ~/.opam/log/coq-bot-1-cb161d.out
### output ###
# File "src/dune", line 4, characters 21-42:
# 4 | mirage-crypto-rng mirage-crypto-rng.lwt stdio toml yojson)
# ^^^^^^^^^^^^^^^^^^^^^
# Error: Library "mirage-crypto-rng.lwt" not found.
https://github.com/JasonGross/bot/actions/runs/4309080828/jobs/7516049031#step:3:378
Théo Zimmermann (Mar 02 2023 at 08:56):It looks like there is now a package for this library https://opam.ocaml.org/packages/mirage-crypto-rng-lwt/mirage-crypto-rng-lwt.0.11.0/ (new from Feb 2023). Confirmed by the breaking change documented at: https://github.com/mirage/mirage-crypto/blob/main/CHANGES.md#v0110-2023-02-09
Théo Zimmermann (Mar 02 2023 at 08:56):a "mirage-crypto-rng.lwt" should now be "mirage-crypto-rng-lwt" in your dune file
Théo Zimmermann (Mar 02 2023 at 09:55):To update the dependency to 0.11.0, I need to have the up-to-date version through Nix as well, and it is not available yet, so I'm in the process of updating it (and the packages that depend on it). A temporary solution that would fix the deploy job would be to restrict the upper bound of the library to 0.10.7 in the opam file for now.
Théo Zimmermann (Mar 09 2023 at 15:18):@Jason Gross I've updated the bot to use mirage-crypto 0.11.0. The deploy job passed successfully on master.
Last updated: May 28 2023 at 20:30 UTC