Skip to content
[Jenkins]Jenkins
log in
Started 1 mo 3 days ago
Took 30 min
Success

Build #2908 (Jun 27, 2025, 2:01:14 PM)

Changes
  1. Merge pull request #14109 from dra27/warning-fix (commit: 489ecba) (details / githubweb)

Started by GitHub push by dra27

Revision: 489ecba22f1b1b05b7569f8c6733e0ef14f0e9fc
Repository: https://github.com/ocaml/ocaml/
  • origin/5.3