Skip to content
[Jenkins]Jenkins
log in
Started 5 days 5 hr ago
Took 13 min
Success

Build #2842 (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