Skip to content
[Jenkins]Jenkins
log in
Success

#83 (May 9, 2020, 10:42:46 AM)

Started 5 yr 1 mo ago
Took 39 min on olive

Started by GitHub push by xavierleroy

Revision: 37c5bd87a9f6a1e543517e6815feea304f58bbb3
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. Run the "stale" script 3 times a week (commit: 37c5bd8) (details / githubweb)