Skip to content
[Jenkins]Jenkins
log in
Success

#208 (Jun 24, 2020, 3:11:36 PM)

Started 5 yr 2 mo ago
Took 40 min on olive

Started by GitHub push by gasche

Revision: 6672acbcd8bd55d4abaf87d0401768c91b79f514
Repository: https://github.com/ocaml/ocaml
  • origin/4.11
Changes
  1. Merge pull request #9702 from garrigue/fix9695 (commit: 6672acb) (details / githubweb)