Skip to content
[Jenkins]Jenkins
log in
Failed

#135 (Jun 1, 2020, 7:52:34 PM)

Started 5 yr 1 mo ago
Took 17 min on olive

Started by GitHub push by xavierleroy

Revision: 973eeb1867f41ef2669ad4cbfa9c2e76ddef1749
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. Add Val_some,Val_none,Some_val, Is_none, Is_some, Tag_some (#9569) (commit: 973eeb1) (details / githubweb)