Skip to content

Add kill on push as default - #390

Merged
ednolan merged 1 commit into
bemanproject:mainfrom
mborland:patch-1
May 7, 2026
Merged

Add kill on push as default#390
ednolan merged 1 commit into
bemanproject:mainfrom
mborland:patch-1

Conversation

@mborland

@mborland mborland commented May 7, 2026

Copy link
Copy Markdown
Contributor

Without this as you add a commit to a PR the old runners will continue and new ones will get spun up. This change kills all the runners in progress before the commit was added.

@coveralls

coveralls commented May 7, 2026

Copy link
Copy Markdown

Coverage Status

Coverage is 100.0%mborland:patch-1 into bemanproject:main. No base build found for bemanproject:main.

@mborland

mborland commented May 7, 2026

Copy link
Copy Markdown
Contributor Author

Since I'm already updating the workflow yaml I pushed the version from 1.7.1 to the 1.7.2 that was just released earlier.

@ednolan

ednolan commented May 7, 2026

Copy link
Copy Markdown
Member

Thanks for the pull request! I applied the infra-workflows update and cookiecutter fix with separate pull requests. Could you squash and rebase your branch? I'll merge this after.

@mborland

mborland commented May 7, 2026

Copy link
Copy Markdown
Contributor Author

Thanks for the pull request! I applied the infra-workflows update and cookiecutter fix with separate pull requests. Could you squash and rebase your branch? I'll merge this after.

Done

@ednolan
ednolan merged commit 29fd521 into bemanproject:main May 7, 2026
226 of 227 checks passed
@mborland
mborland deleted the patch-1 branch May 7, 2026 21:31
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.

3 participants