Build:
  1. 6
  2. 5
  3. 4
  4. 3
  5. 2
  6. 1
  7. 0
2025-12-04 12:18.13: New job: Set tarides/tarides.com PR #1059 on main:
                     Fix 404 links to Odoc documentation
                     bcad98d3/Deployment link to
                     {"state":"pending","target_url":"https://pr1059.main.tarides.com"}
2025-12-04 12:18.13: Waiting for resource in pool github
2025-12-04 12:18.35: Got resource from pool github
2025-12-04 12:18.35: POST https://api.github.com/repos/tarides/tarides.com/statuses/bcad98d3057423dfdba24cadbf6f8dfeca12bd92:
                       {
                         "context": "Deployment link",
                         "state": "pending",
                         "target_url": "https://pr1059.main.tarides.com"
                       }
2025-12-04 12:18.36: Job succeeded