Skip to content
[Jenkins]Jenkins
log in
Success

#122 (May 25, 2020, 7:12:18 PM)

Started 5 yr 3 mo ago
Took 41 min on olive

Started by GitHub push by garrigue

Revision: 1bb388bd1565c9f32ad00459a3ad86380c1e6de7
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. Fix PR#7817: Unsound inclusion check for polymorphic variant (#9546) (commit: 1bb388b) (details / githubweb)