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

Build #851 (Jan 6, 2023, 4:56:33 PM)

Changes
  1. fix over-eager label erasure in documentation (#11870) (commit: 4726462) (details / githubweb)

Started by GitHub push by Octachron

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