Skip to content
[Jenkins]Jenkins
log in
Started 4 hr 20 min ago
Took 3 min 7 sec
Success

Build #2915 (Jun 20, 2025, 2:06:25 PM)

Changes
  1. Changes bookkeeping: fix 13896 entry (commit: 5307849) (details / githubweb)

Started by GitHub push by Octachron

Revision: 5307849b3b4d876cd23e32b3585176b782871579
Repository: https://github.com/ocaml/ocaml/
  • origin/trunk