Skip to content
[Jenkins]Jenkins
log in
Started 6 days 23 hr ago
Took 13 min
Success

Build #2839 (Jun 9, 2025, 10:21:43 PM)

Changes
  1. Switch back to ubuntu-latest (commit: 342a643) (details / githubweb)

Started by GitHub push by dra27

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