Skip to content
[Jenkins]Jenkins
log in
Failed

#244 (Jul 30, 2020, 3:43:41 PM)

Started 4 yr 10 mo ago
Took 41 min on olive

Started by GitHub push by stedolan

Revision: 5b4b834578c2cb3674ef4b68e4ce8b447590af3c
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. Ensure signals are handled before Unix.{kill,sigprocmask} return (#9802) (commit: 5b4b834) (details / githubweb)