Skip to content
[Jenkins]Jenkins
log in
Failed

#242 (Jul 29, 2020, 9:25:51 PM)

Started 5 yr 1 mo ago
Took 20 min on olive

Started by GitHub push by dra27

Revision: a7ecba9045579881c84ab05e375acbe2f689b0b3
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. Build otherlibs with debug info in C stubs (commit: a741f25) (details / githubweb)