Skip to content
[Jenkins]Jenkins
log in
Success

#47 (Apr 28, 2020, 10:27:00 AM)

Started 5 yr 5 mo ago
Took 40 min on olive

Started by GitHub push by dra27

Revision: 9421eeae2ce928de952dbda60d156c6492a74c44
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. Fix docs: runtime warnings are not enabled by default (commit: f66e395) (details / githubweb)