Started 1 yr 8 mo ago
Took 20 min

Aborted Build #3 (Nov 29, 2018 11:34:11 AM)

Build Artifacts
Expand all Collapse all
Changes
  1. using branch approach to calculate version when not directly tagged. (detail / githubweb)
  2. using $() instead backsticks (detail / githubweb)
  3. using a function to determine the correct name (detail / githubweb)
  4. add call to set_version_variables (detail / githubweb)
  5. PR version does not needs to take the patch version (detail / githubweb)
  6. refactor to clarify and reuse (detail / githubweb)
  7. fix pull request naming (detail / githubweb)
  8. in fact, pr and release have different formats (detail / githubweb)
  9. fix (attempt to) Jenkinsfile (detail / githubweb)
  10. this thing should not be there anymore (detail / githubweb)

Push event to branch Pharo7.0 at 11:34:05 AM on Nov 29, 2018

Revision: f273e719f5941309489d43a45f01f42a7d5c8b4a
  • Pharo7.0

Aborted by user esteban.lorenzano@inria.fr