Skip to content
[Jenkins]Jenkins
log in
Started 6 days 16 hr ago
Took 2 min 59 sec
Success

Build #2941 (Jul 9, 2025, 5:02:23 PM)

Changes
  1. matching: fix some non-deterministic code generation (#14091) (commit: dce8e77) (details / githubweb)

Started by GitHub push by nojb

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