Skip to content
[Jenkins]Jenkins
log in
Success

#259 (Dec 4, 2020, 2:45:54 PM)

Started 4 yr 10 mo ago
Took 40 min on olive

Started by GitHub push by dra27

Revision: dd13c73f1af1bcd323d485521d21b7128e499356
Repository: https://github.com/ocaml/ocaml
  • refs/remotes/origin/4.11
Changes
  1. Merge pull request #10056 from dra27/fix-8684 (commit: dd13c73) (details / githubweb)