2025-06-26 08:36.46: New job: Set quantifyearth/shark PR #72 on main:
                     Fixup mirage-crypto 70bc5d83
                     2025-06-26T08:36:41Z (Bump opam-repository in CI)/CI to
                     {"status":"queued","output":{"title":"Queued","summary":"🟠 [active](https://deployer.quantify.earth)"},"details_url":"https://deployer.quantify.earth"}
2025-06-26 08:36.46: Waiting for resource in pool github
2025-06-26 08:36.46: Got resource from pool github
2025-06-26 08:36.47: Job succeeded