Skip to content
[Jenkins]Jenkins
log in
Started 7 hr 33 min ago
Took 13 min
Success

Build #2884 (Jul 16, 2025, 10:27:12 AM)

Changes
  1. [minor] indentation fix in errortrace_report (commit: b2aa0fa) (details / githubweb)

Started by GitHub push by gasche

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