Skip to content
[Jenkins]Jenkins
log in
Success

#86 (May 13, 2020, 10:53:08 AM)

Started 5 yr 3 mo ago
Took 39 min on olive

Started by GitHub push by xavierleroy

Revision: f81e2b6a59a09ca070d809c63e6eefc4b2436802
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. testsuite: remove a slow exhaustiveness check (#9555) (commit: f81e2b6) (details / githubweb)