Skip to content
[Jenkins]Jenkins
log in
Success

#144 (Jun 3, 2020, 6:12:10 PM)

Started 5 yr 1 mo ago
Took 40 min on olive

Started by GitHub push by garrigue (4 times)

Revision: abb8db459d8aa3440380a19d979dcb17222b7e19
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. add PR number for #7741 (commit: 97c3be2) (details / githubweb)
  2. Fix #7520: Odd behaviour of refutation cases with polymorphic variants (#9547) (commit: abb8db4) (details / githubweb)