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

Build #2997 (Sep 1, 2025, 5:10:52 PM)

Changes
  1. toplevel: fix printing of qualified labels (commit: d5be817) (details / githubweb)
  2. update Changes (commit: 1a233f5) (details / githubweb)

Started by GitHub push by Octachron

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