Skip to content

Make play releases optional#107

Merged
ReneeVandervelde merged 1 commit intomasterfrom
optional-play
Jul 7, 2025
Merged

Make play releases optional#107
ReneeVandervelde merged 1 commit intomasterfrom
optional-play

Conversation

@ReneeVandervelde
Copy link
Member

These are currently failing the build, but can be uploaded separately and should not fail the tag release

These are currently failing the build, but can be uploaded separately
and should not fail the tag release
@ReneeVandervelde ReneeVandervelde merged commit 9aceada into master Jul 7, 2025
1 check passed
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