2022-08-03 12:18.37: New job: Set mirage/mirage PR #1341 on main: remove v4 & v6 stack, other deprecated bindings a0f70292 2022-07-28T20:32:11Z/Mirage CI - x86_64-debian-10-4.13 to {"state":"failure","description":"Failed: Build failed","target_url":"https://ci.mirage.io/pipelines/pr-1341-mirage-4-mirage-mirage/pr-1341-mirage-4-mirage-mirage-a0f70292f0ceef1cc93c6a5176e29f844818d68e/x86_64-debian-10-4.13"} 2022-08-03 12:18.37: POST https://api.github.com/repos/mirage/mirage/statuses/a0f70292f0ceef1cc93c6a5176e29f844818d68e: { "context": "Mirage CI - x86_64-debian-10-4.13", "state": "failure", "description": "Failed: Build failed", "target_url": "https://ci.mirage.io/pipelines/pr-1341-mirage-4-mirage-mirage/pr-1341-mirage-4-mirage-mirage-a0f70292f0ceef1cc93c6a5176e29f844818d68e/x86_64-debian-10-4.13" } 2022-08-03 12:18.37: Job succeeded