Skip to content
[Jenkins]Jenkins
log in
Success

#264 (Jan 26, 2021, 6:06:19 PM)

Started 4 yr 4 mo ago
Took 40 min on olive

Started by GitHub push by damiendoligez

Revision: 4c93dc098955a9395249b479f403051d55dbc1b9
Repository: https://github.com/ocaml/ocaml
  • refs/remotes/origin/4.11
Changes
  1. Terminate all threads explicitly (commit: 4c93dc0) (details / githubweb)