Skip to content
[Jenkins]Jenkins
log in
Started 2 yr 5 mo ago
Took 22 hr
Failed

Build #853 (Jan 7, 2023, 10:20:00 AM)

Changes
  1. Bootstrap following #11874 (commit: f48cc53) (details / githubweb)

Started by GitHub push by yallop

Revision: f48cc5351b1cffe834b3e1a817cfae0f3dda2070
Repository: git@github.com:ocaml/ocaml.git
  • origin/trunk