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

Build #2935 (Sep 1, 2025, 5:10:50 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