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

Build #2969 (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