Skip to content
[Jenkins]Jenkins
log in
Success

#108 (May 19, 2020, 11:48:01 AM)

Started 5 yr 3 mo ago
Took 39 min on olive

Started by GitHub push by yallop

Revision: 8ce5231e3b24cfe2ae4166afb79a38bec0cf2b29
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. Fix Changes formatting (tabs, line length). (commit: 8ce5231) (details / githubweb)