Build:
  1. 25691
  2. 25690
  3. 25689
  4. 25688
  5. 25687
  6. 25686
  7. 25685
  8. 25684
  9. 25683
  10. 25682
2025-08-14 07:37.48: New job: curl
2025-08-14 07:37.48: Exec: "curl" "-L" "--resolve" "opam.ocaml.org:443:151.115.76.159" 
                           "https://opam.ocaml.org"
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed

  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
100   157  100   157    0     0    419      0 --:--:-- --:--:-- --:--:--   420
<html>
<head><title>502 Bad Gateway</title></head>
<body>
<center><h1>502 Bad Gateway</h1></center>
<hr><center>nginx/1.27.2</center>
</body>
</html>
2025-08-14 07:37.49: Job succeeded