Skip to content
[Jenkins]Jenkins
log in
Success

#218 (Jun 25, 2020, 5:43:27 PM)

Started 5 yr 0 mo ago
Took 42 min on olive

Started by GitHub push by xavierleroy

Revision: 8d874fa3bb92f4a14b289136ef53712788aa6c6a
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. CI: make "light" test lighter (commit: 8d874fa) (details / githubweb)