Skip to content
[Jenkins]Jenkins
log in
Success

#88 (May 13, 2020, 6:23:47 PM)

Started 5 yr 3 mo ago
Took 39 min on olive

Started by GitHub push by xavierleroy

Revision: b6c8b35e2da08dacd54f559914b79492c60ef843
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. Make -flarge-toc the default for PowerPC (#9557) (commit: b6c8b35) (details / githubweb)