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
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
a "mirage-crypto-rng.lwt" should now be "mirage-crypto-rng-lwt" in your dune file
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.
@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