Started 2 yr 8 mo ago
Took 20 min

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. (details / githubweb)
  2. using $() instead backsticks (details / githubweb)
  3. using a function to determine the correct name (details / githubweb)
  4. add call to set_version_variables (details / githubweb)
  5. PR version does not needs to take the patch version (details / githubweb)
  6. refactor to clarify and reuse (details / githubweb)
  7. fix pull request naming (details / githubweb)
  8. in fact, pr and release have different formats (details / githubweb)
  9. fix (attempt to) Jenkinsfile (details / githubweb)
  10. this thing should not be there anymore (details / 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