Skip to content
[Jenkins]Jenkins
log in
Success

#131 (May 29, 2020, 2:29:21 PM)

Started 5 yr 3 mo ago
Took 40 min on olive

Started by GitHub push by trefis

Revision: 71e91123c27780fdfeca93c6c57c2f9af5417e54
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. Attach package type attributes to core_type (#9615) (commit: 71e9112) (details / githubweb)