Skip to content
[Jenkins]Jenkins
log in
Started 2 hr 19 min ago
Took 15 min
Success

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

Started by GitHub push by gasche

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