Skip to content
[Jenkins]Jenkins
log in
Started 15 hr ago
Took 5 min 26 sec
Success

Build #2905 (Jun 16, 2025, 9:12:21 PM)

Started by GitHub push by gasche

Revision: 12ea618e22add7047ac3e09d2fa5a07ea42d52d9
Repository: https://github.com/ocaml/ocaml/
  • origin/trunk