Skip to content
[Jenkins]Jenkins
log in
Success

#124 (May 26, 2020, 3:48:54 PM)

Started 5 yr 3 mo ago
Took 40 min on olive

Started by GitHub push by dra27

Revision: 4f363aa9cbde6c8dd97aa4d5d8bbc5feb72e9975
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. Map ERROR_PRIVILEGE_NOT_HELD to EPERM (commit: 643d1af) (details / githubweb)