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

Build #2939 (Sep 4, 2025, 1:01:20 PM)

Changes
  1. functor error messages: don't forget equality (commit: 8b1e26d) (details / githubweb)

Started by GitHub push by Octachron

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