2026-04-14 20:41.15: New job: Set ocaml/opam-repository PR #29727 on master:
2 packages from rocq-prover/vsrocq at 2.4.1
3a984994/opam-ci to
{"state":"pending","target_url":"https://opam.ci.ocaml.org/github/ocaml/opam-repository/commit/3a98499440a18677c23b322ce29f3753d3a879e4"}
2026-04-14 20:41.15: POST https://api.github.com/repos/ocaml/opam-repository/statuses/3a98499440a18677c23b322ce29f3753d3a879e4:
{
"context": "opam-ci",
"state": "pending",
"target_url": "https://opam.ci.ocaml.org/github/ocaml/opam-repository/commit/3a98499440a18677c23b322ce29f3753d3a879e4"
}
2026-04-14 20:41.21: Job succeeded