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

Build #3032 (Sep 30, 2025, 10:22:03 AM)

Changes
  1. manual: add explanation about 'simple' GC rules (#14273) (commit: c4ae499) (details / githubweb)

Started by GitHub push by nojb

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