Skip to content
[Jenkins]Jenkins
log in
Started 2 days 23 hr ago
Took 3 min 5 sec
Success

Build #2937 (Jul 2, 2025, 4:00:18 PM)

Changes
  1. document that char compare uses ASCII order (#14090) (commit: c061359) (details / githubweb)

Started by GitHub push by nojb

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