Skip to content
[Jenkins]Jenkins
log in
Started 1 hr 1 min ago
Took 13 min
Success

Build #2860 (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