Started 2 yr 4 mo ago
Took 39 min

Build #5 (Nov 29, 2018 1:09:42 PM)

Build Artifacts
Changes
  1. fix dev branch name (details / githubweb)

Push event to branch Pharo7.0 at 1:09:36 PM on Nov 29, 2018

Revision: 1b4dc9683c706b8afa792485e7569b613975362c
  • Pharo7.0
Test Result (no failures)

    Aborted by user esteban.lorenzano@inria.fr