Skip to content
[Jenkins]Jenkins
log in
Success

#76 (May 5, 2020, 6:36:22 PM)

Started 5 yr 4 mo ago
Took 38 min on olive

Started by GitHub push by xavierleroy

Revision: 9414e5af09c08356bc7e0dc4c4b3c3aa80e907fe
Repository: https://github.com/ocaml/ocaml
  • origin/trunk
Changes
  1. Add a "stale" Github action to process inactive issues (#9530) (commit: 9414e5a) (details / githubweb)