Build:
  1. 57
  2. 56
  3. 55
  4. 54
  5. 53
  6. 52
  7. 51
  8. 50
  9. 49
  10. 48
2023-11-17 13:06.13: New job: Set mirage/mirage-skeleton refs/heads/dev
                     32421276/Mirage CI - x86_64-debian-10-4.13 to
                     {"state":"success","description":"Passed","target_url":"https://ci.mirage.io/pipelines/branch-dev-mirage-4-mirage-mirage-skeleton/branch-dev-mirage-4-mirage-mirage-skeleton-3242127698d7642ffe81909cc7ed3d353769694f/x86_64-debian-10-4.13"}
2023-11-17 13:06.13: POST https://api.github.com/repos/mirage/mirage-skeleton/statuses/3242127698d7642ffe81909cc7ed3d353769694f:
                       {
                         "context": "Mirage CI - x86_64-debian-10-4.13",
                         "state": "success",
                         "description": "Passed",
                         "target_url": "https://ci.mirage.io/pipelines/branch-dev-mirage-4-mirage-mirage-skeleton/branch-dev-mirage-4-mirage-mirage-skeleton-3242127698d7642ffe81909cc7ed3d353769694f/x86_64-debian-10-4.13"
                       }
2023-11-17 13:06.13: Job succeeded