Skip to content
[Jenkins]Jenkins
log in
Started 12 hr ago
Took 2 min 56 sec
Success

Build #2922 (Jun 25, 2025, 11:20:18 AM)

Changes
  1. toplevel: fix a typo in directive error messages (commit: 7928a26) (details / githubweb)

Started by GitHub push by gasche

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