Skip to content
[Jenkins]Jenkins
log in
Success

#258 (Nov 30, 2020, 11:17:47 AM)

Started 4 yr 10 mo ago
Took 45 min on olive

Started by GitHub push by dra27

Revision: 26ebd64227e99a125bb0530bdfdfdb2782792d56
Repository: https://github.com/ocaml/ocaml
  • refs/remotes/origin/4.11
Changes
  1. Define __USE_MINGW_ANSI_STDIO=0 for mingw-w64 (#9939) (commit: 26ebd64) (details / githubweb)