2025-02-02 08:17.43: New job: Set mirage/mirage PR #1596 on main: add x-maintenance-intent field to the opam file 326771c6/Mirage CI - x86_64-debian-10-4.13 to {"state":"success","description":"Passed","target_url":"https://ci.mirageos.org/pipelines/pr-1596-mirage-4-mirage-mirage/pr-1596-mirage-4-mirage-mirage-326771c664a60780f1fe6c8587b5c33527dafeb6/x86_64-debian-10-4.13"} 2025-02-02 08:17.43: POST https://api.github.com/repos/mirage/mirage/statuses/326771c664a60780f1fe6c8587b5c33527dafeb6: { "context": "Mirage CI - x86_64-debian-10-4.13", "state": "success", "description": "Passed", "target_url": "https://ci.mirageos.org/pipelines/pr-1596-mirage-4-mirage-mirage/pr-1596-mirage-4-mirage-mirage-326771c664a60780f1fe6c8587b5c33527dafeb6/x86_64-debian-10-4.13" } 2025-02-02 08:17.44: Job succeeded