Skip to content

Conversation

@chenrui333
Copy link
Member

@chenrui333 chenrui333 added the CI-no-bottles Merge without publishing bottles label Jun 25, 2025
@github-actions github-actions bot added the boost Boost use is a significant feature of the PR or issue label Jun 25, 2025
@chenrui333 chenrui333 enabled auto-merge June 25, 2025 21:04
@chenrui333 chenrui333 added this pull request to the merge queue Jun 25, 2025
Merged via the queue into master with commit 57fe3e3 Jun 25, 2025
25 checks passed
@chenrui333 chenrui333 deleted the supertux-cmake-4 branch June 25, 2025 22:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

boost Boost use is a significant feature of the PR or issue CI-no-bottles Merge without publishing bottles

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants