Skip to content
[Jenkins]Jenkins
log in
Success

#91 (May 14, 2020, 9:21:16 AM)

Started 5 yr 4 mo ago
Took 39 min on olive

Started by GitHub push by gasche

Revision: b3434751e23a320297f8b76b7a534ea8dbd6c926
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. matching: factorize the make_*_matching functions (commit: 0651396) (details / githubweb)