Skip to content

Conversation

@sauclovian-g
Copy link
Contributor

@sauclovian-g sauclovian-g commented Sep 9, 2025

This pull request contains version bump and CHANGES adjustments for creating the SAW 1.4 release branch. (It doesn't create the branch itself, that's something one does by hand afterwards. The branch point is the first of the two commits in here.)

Things this does not contain that will need to be applied to the release branch later include (but may not be limited to):

  • further submodule bumps to point at the release versions of crucible/cryptol and probably others
  • the release date needs to be entered into CHANGES.md, saw-remote-api/CHANGELOG.md, and saw-python/CHANGELOG.md
  • the release date needs to be entered into doc/scripts/epoch.mk
  • after updating epoch.mk the checked-in doc PDFs need to be rebuilt
  • the actual release commit that changes the version to 1.4 needs to be made (the version on the branch will be 1.3.0.99.99 until then)

The reason to make the branch now is that we want to remove Heapster and Mr. Solver (#2576) because they're holding things up, and that should really come after the release.

@sauclovian-g sauclovian-g force-pushed the branch-release-1.4 branch 2 times, most recently from a6c875d to 4eb6614 Compare September 9, 2025 17:35
@sauclovian-g sauclovian-g marked this pull request as ready for review September 9, 2025 17:36

Nothing yet

## 1.4 - release date still TBD
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Should saw-remote-api/CHANGELOG.md be updated as well?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Hmm yes

Cabal-version: 3.0
Name: saw
Version: 1.3.0.99
Version: 1.4.0.99
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Should the version in saw-python/pyproject.toml be updated as well?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Definitely. Oops...

This updates the version number to 1.3.0.99.99 (which is a little
silly, but it's not 1.4 yet and there will be more changes that get
merged into the release branch before the release happens) and adds
the 1.4 heading in CHANGES.md. Note that it does _not_ yet set the
release date because that's still "soon".
@sauclovian-g sauclovian-g merged commit c262eb8 into master Sep 9, 2025
40 checks passed
@sauclovian-g sauclovian-g deleted the branch-release-1.4 branch September 9, 2025 20:55
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.

3 participants