Skip to content
[Jenkins]Jenkins
log in
Success

#72 (May 4, 2020, 3:26:04 PM)

Started 5 yr 2 mo ago
Took 38 min on olive

Started by GitHub push by xavierleroy

Revision: 1c7d5f4ab40256219e0bcaf48b1e2f4a58123cb0
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. check-typo attributes for .github directory (commit: 1c7d5f4) (details / githubweb)