Stream: coqbot devs & users

Topic: Deploy failures


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

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

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

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

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