Skip to content

Conversation

@eine
Copy link
Collaborator

@eine eine commented Jun 3, 2019

Close #316.

This PR is an attempt to rework the release procedure through Travis.

  • The job to deploy to GitHub Pages is merged with py36-docs. The deployment is only executed with tagged commits.
  • Script tools/is_new_release.py is renamed to tools/new_release.py and it is reworked:
    • In order to tag a commit, the maintainer will execute ./tools/new_release.py locally and then git push v<version> to the main repository. The tag will fail/skip if it already exists, or if corresponding release notes are not found.
    • In travis, ./tools/new_release.py 'check' will be executed before pushing a new version to PyPi. This job is only executed with tagged commits.

Overall, instead of Travis guessing when a new release happened and having it push a tag to the git repo, the procedure is reversed. We tell Travis explicitly when we want a new release, and it will proceed accordingly.

The checks are the same, so tags ending with rc0 can be successfully pushed to GitHub and GitHub pages will be updated, but they will not be pushed to PyPi.

Note that I did not test the deployment jobs in this PR because access tokens do not work in my fork.

@eine eine changed the title Rework release Rework release procedure Jun 3, 2019
@eine eine force-pushed the rework-release branch from c6daa22 to 72f5251 Compare June 3, 2019 22:05
@eine eine force-pushed the rework-release branch from 72f5251 to ba0e606 Compare June 3, 2019 22:59
@kraigher kraigher merged commit a537f00 into VUnit:master Jun 4, 2019
@eine eine deleted the rework-release branch June 4, 2019 19:20
@eine eine added the CI label Sep 18, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Make 'latest release' point to the latest published release

2 participants