Skip to content
[Jenkins]Jenkins
log in
Success

#103 (May 18, 2020, 3:15:31 PM)

Started 5 yr 1 mo ago
Took 39 min on olive

Started by GitHub push by gasche

Revision: 17dcf49610b0587b3adf28ff225a44ffb234dacb
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. please check-typo despite all the sand (commit: 17dcf49) (details / githubweb)