Skip to content
[Jenkins]Jenkins
log in
Started 1 mo 1 day ago
In progress

Build #2949 (Jul 19, 2025, 6:23:17 AM)

Progress:
Changes
  1. Rename cstrs to constraints to distinguish from cstrs = constructors (#14141) (commit: 5e89966) (details / githubweb)

Started by GitHub push by nojb

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