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

Build #849 (Jan 5, 2023, 1:40:59 PM)

Changes
  1. Usage warnings can now be disabled label by label. (#11864) (commit: 8712acc) (details / githubweb)

Started by GitHub push by Octachron

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