Skip to content
[Jenkins]Jenkins
log in
Success

#185 (Jun 16, 2020, 2:52:46 PM)

Started 5 yr 2 mo ago
Took 42 min on olive

Started by GitHub push by Octachron

Revision: cc647674d753be901f026d980a7197febee9d0bf
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. Changes: RISC-V has been backported to 4.11.0 (commit: cc64767) (details / githubweb)