Build:
  1. 34210
  2. 34209
  3. 34208
  4. 34207
  5. 34206
  6. 34205
  7. 34204
  8. 34203
  9. 34202
  10. 34201
2026-02-09 14:31.39: New job: curl
2026-02-09 14:31.39: Exec: "curl" "-L" "--resolve" "opam.ocaml.org:443:51.158.232.133" 
                           "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
  0     0    0     0    0     0      0      0 --:--:--  0:00:01 --:--:--     0
  0     0    0     0    0     0      0      0 --:--:--  0:00:02 --:--:--     0
100   157  100   157    0     0     60      0  0:00:02  0:00:02 --:--:--    60
<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>
2026-02-09 14:31.41: Job succeeded