Skip to content
[Jenkins]Jenkins
log in
Success

#162 (Jun 9, 2020, 10:50:12 AM)

Started 5 yr 0 mo ago
Took 41 min on olive

Started by GitHub push by damiendoligez

Revision: 2e4d1ecc12cfc6daa3b87e0400aed12544d877a9
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. Remove two oldish scripts (#9656) (commit: 2e4d1ec) (details / githubweb)