Skip to content

Prepare GitHub release#952

Merged
ofek merged 1 commit intomainfrom
prep
Nov 24, 2025
Merged

Prepare GitHub release#952
ofek merged 1 commit intomainfrom
prep

Conversation

@ofek
Copy link
Collaborator

@ofek ofek commented Nov 24, 2025

This removes tedium when releasing.

@ofek ofek merged commit a235d0c into main Nov 24, 2025
1 check passed
@ofek ofek deleted the prep branch November 24, 2025 02:03
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.

1 participant