Skip to content
[Jenkins]Jenkins
log in
Success

#96 (May 16, 2020, 7:41:16 PM)

Started 5 yr 3 mo ago
Took 39 min on olive

Started by GitHub push by xavierleroy

Revision: 43f7a263b344feac675e10b10b471acb99e14ac0
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. A lightweight variant of the Inria CI script "main" (commit: 43f7a26) (details / githubweb)