Skip to content
[Jenkins]Jenkins
log in
Started 2 yr 4 mo ago
Took 44 min
Success

Build #843 (Jan 4, 2023, 3:18:06 PM)

Changes
  1. Merge pull request #11860 from Octachron/index_for_stdlib (commit: b497c28) (details / githubweb)

Started by GitHub push by Octachron

Revision: b497c284639043e3d7dba81a4a4b379f273a9ba4
Repository: git@github.com:ocaml/ocaml.git
  • origin/4.14