Skip to content
[Jenkins]Jenkins
log in
Success

#77 (May 5, 2020, 7:22:23 PM)

Started 5 yr 3 mo ago
Took 38 min on olive

Started by GitHub push by xavierleroy

Revision: 29d5f485d810c7f88d4513fbffde7a9dcacad3f4
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. Jenkins CI job to test the Dune-based build (commit: 29d5f48) (details / githubweb)