Skip to content
[Jenkins]Jenkins
log in
Success

#87 (May 13, 2020, 11:33:03 AM)

Started 5 yr 3 mo ago
Took 39 min on olive

Started by GitHub push by xavierleroy

Revision: 3a408ff3e83b05f34fdd6891a70f88abd261a19e
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. Modernize signal handling on Linux i386, PowerPC64, and s390x (#9543) (commit: 3a408ff) (details / githubweb)