Skip to content
[Jenkins]Jenkins
log in
Success

#149 (Jun 5, 2020, 7:12:51 AM)

Started 5 yr 2 mo ago
Took 40 min on olive

Started by GitHub push by gasche

Revision: a8a2a7b757b07f4ece5f10f3cd3c2983207f876e
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. Allow ',' at the start of OCAMLRUNPARAM (commit: c0440d8) (details / githubweb)
  2. Changes (commit: 9ea385d) (details / githubweb)
  3. Manual (commit: c4eea2e) (details / githubweb)