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

Build #2932 (Aug 29, 2025, 3:02:24 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