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

Build #2994 (Aug 29, 2025, 2:57:52 PM)

Changes
  1. Recognize %identity as nonexpansive (#14029) (commit: 57fcefe) (details / githubweb)

Started by GitHub push by gasche

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