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

Build #2930 (Aug 29, 2025, 2:32:23 PM)

Changes
  1. Fix typos in comment (#14194) (commit: 144463d) (details / githubweb)

Started by GitHub push by damiendoligez

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