Skip to content

Use runner per pull request or pushed branch#655

Merged
int128 merged 3 commits intomainfrom
int128/Use-runner-per-pull-request-or-pushed-branch
Feb 6, 2025
Merged

Use runner per pull request or pushed branch#655
int128 merged 3 commits intomainfrom
int128/Use-runner-per-pull-request-or-pushed-branch

Conversation

@int128
Copy link
Member

@int128 int128 commented Feb 6, 2025

No description provided.

@github-actions
Copy link

github-actions bot commented Feb 6, 2025

💡 If you need a new version, create a new release after merge.

@int128 int128 marked this pull request as ready for review February 6, 2025 00:55
@int128 int128 merged commit a86a3e3 into main Feb 6, 2025
6 checks passed
@int128 int128 deleted the int128/Use-runner-per-pull-request-or-pushed-branch branch February 6, 2025 00:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant