Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[release] 0.0.3-test #12

Open
wants to merge 26 commits into
base: unstable
Choose a base branch
from
Open

[release] 0.0.3-test #12

wants to merge 26 commits into from

Conversation

apalache-bot
Copy link

0.0.3-test

shonfeder and others added 26 commits January 21, 2021 08:50
The previous behavior, that made a separate commit for the CHANGES.md
update was incorrect, insofar as it made a change that should have been
part of the version bump as if it were on the non-snapshot version.
This is for testing purposes, letting us create the release prep PRs
without creating noise from links.
This is for when we have a pre-built jar we can use
Also fix up some other variable handling
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants