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

Build #2946 (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