Skip to content
[Jenkins]Jenkins
log in
Started 2 hr 27 min ago
Took 3 min 10 sec
Success

Build #3019 (Sep 15, 2025, 3:49:01 PM)

Changes
  1. Don't use variadic macros for annotations (commit: aec2c9f) (details / githubweb)
  2. Changes (commit: b83e522) (details / githubweb)

Started by GitHub push by dra27

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