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

Build #2993 (Aug 29, 2025, 2:36:48 PM)

Changes
  1. Elide duplicate ephemeron status check (#14175) (commit: 333a539) (details / githubweb)

Started by GitHub push by damiendoligez

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