Skip to content
[Jenkins]Jenkins
log in
Success

#250 (Aug 13, 2020, 2:05:46 PM)

Started 5 yr 1 mo ago
Took 39 min on olive

Started by GitHub push by shindere

Revision: d0d8acecb0024aadffe596b169826b5d16ca53f0
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. Use a pipeline to define the bootstrap Jenkins job, take #1 (commit: d0d8ace) (details / githubweb)