Skip to content
[Jenkins]Jenkins
log in
Success

#266 (Jan 28, 2021, 10:14:11 AM)

Started 4 yr 4 mo ago
Took 40 min on olive

Started by GitHub push by shindere

Revision: 988af8bfe63d461c48fa5d3418ecd2e30bc543b3
Repository: https://github.com/ocaml/ocaml
  • refs/remotes/origin/4.11
Changes
  1. Inria CI: make sure this 4.11 branch is not run on Solaris (commit: 988af8b) (details / githubweb)