Skip to content

ci: prepare running KVM jobs on GitHub runners#909

Merged
mkroening merged 3 commits intomainfrom
github-runner-prep
Feb 20, 2025
Merged

ci: prepare running KVM jobs on GitHub runners#909
mkroening merged 3 commits intomainfrom
github-runner-prep

Conversation

@mkroening
Copy link
Copy Markdown
Member

This prepares #748, which we don't want to merge right now.

@mkroening mkroening requested a review from jounathaen February 20, 2025 10:18
@mkroening mkroening self-assigned this Feb 20, 2025
@mkroening mkroening assigned jounathaen and unassigned mkroening Feb 20, 2025
@mkroening mkroening added this pull request to the merge queue Feb 20, 2025
Merged via the queue into main with commit b63a14f Feb 20, 2025
@mkroening mkroening deleted the github-runner-prep branch February 20, 2025 10:53
@n0toose n0toose added the ci Concerns GitHub Actions workflows label Aug 7, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci Concerns GitHub Actions workflows

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants