Skip to content
[Jenkins]Jenkins
log in
Started 1 day 7 hr ago
Took 2 min 51 sec
Success

Build #2930 (Jun 27, 2025, 10:23:01 PM)

Changes
  1. #14093 was backported (commit: c2370a9) (details / githubweb)

Started by GitHub push by gasche

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