Skip to content

Add a script that can be used to check release builds #759

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

Draft
wants to merge 11 commits into
base: main
Choose a base branch
from

Conversation

jorisdral
Copy link
Collaborator

WIP, not ready for review

@jorisdral jorisdral self-assigned this Jun 16, 2025
@jorisdral jorisdral force-pushed the jdral/check-release-script branch from 725683e to b92a08e Compare June 16, 2025 10:33
@jorisdral jorisdral force-pushed the jdral/check-release-script branch from 7fe60bd to 174f699 Compare June 16, 2025 10:54
@jorisdral jorisdral force-pushed the jdral/check-release-script branch from 34e1864 to 21a6d51 Compare June 16, 2025 11:08
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