Skip to content
[Jenkins]Jenkins
log in
Started 2 days 8 hr ago
Took 15 min
Success

Build #2931 (Aug 29, 2025, 2:46: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