Skip to content
[Jenkins]Jenkins
log in
Started 9 days 4 hr ago
Took 3 min 33 sec
Success

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