Skip to content

Conversation

@smolkaj
Copy link
Member

@smolkaj smolkaj commented Jan 15, 2026

This is intended to be merged to main before we immediately merge the clean up PR, #580.

We will keep the release branch around and cut the release off of that. This will make it easy to do patch releases, if needed, without releaing new features from the main branch.

@smolkaj smolkaj changed the title V1.5.0 (do not merge) Release v1.5.0 Jan 15, 2026
@chrispsommers
Copy link
Collaborator

chrispsommers commented Jan 15, 2026 via email

* Updated reference to the P4 language spec.
* Fixed broken P4 language spec links.
* Added v1.5.0 changelist to revision history.
* Set version to "v1.5.0" in various places.
  NOTE: these reference need to be reset to "HEAD" on the main branch after merging in this PR.

Signed-off-by: Steffen Smolka <[email protected]>
@smolkaj
Copy link
Member Author

smolkaj commented Jan 15, 2026

cc @Eshaan-byte, since this will unblock #572

@smolkaj smolkaj self-assigned this Jan 15, 2026
@smolkaj
Copy link
Member Author

smolkaj commented Jan 15, 2026

Hi Steffen, I'm on PTO through Jan 20, but overall I have no objection to a branch.

Thanks for the heads-up, @chrispsommers. No huge rush, enjoy the PTO.

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