Skip to content
[Jenkins]Jenkins
log in
Aborted

#251 (Aug 13, 2020, 2:45:19 PM)

Started 4 yr 10 mo ago
Took 4 min 2 sec on olive

Started by GitHub push by shindere

Revision: 2f16b98a8d4f2359cdab0d56c2338f6c51b3598a
Repository: https://github.com/ocaml/ocaml
  • origin/trunk

Aborted by user sebastien.hinderer@inria.fr

Changes
  1. Notify only on regressions for Inria CI's bootstrap job (commit: 2f16b98) (details / githubweb)