Skip to content
[Jenkins]Jenkins
log in
Success

#69 (May 3, 2020, 10:34:12 AM)

Started 5 yr 4 mo ago
Took 38 min on olive

Started by GitHub push by gasche

Revision: 9eb9d047512c99aef5a749ad48bf2c3cda41229c
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. fix the dune build (commit: 9eb9d04) (details / githubweb)