Skip to content
[Jenkins]Jenkins
log in
Started 4 days 23 hr ago
Took 3 min 13 sec
Success

Build #2719 (Jun 11, 2025, 3:23:14 PM)

Changes
  1. Changes bookkeeping: missing reviewer (commit: 12ea618) (details / githubweb)

Started by GitHub push by Octachron

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