Skip to content

Conversation

@ferki
Copy link
Member

@ferki ferki commented May 31, 2025

This pull request proposes to fix #1643 by adding extra runners via VM Actions, and fixing initially exposed issues.

Checklist towards merging

  • (re)based on top of latest source code
  • has changelog entry
  • automated tests pass
  • has clean git history
  • has well-written commit messages

@ferki ferki merged commit be5a037 into master Jun 7, 2025
51 checks passed
@ferki ferki deleted the extra_runners branch June 7, 2025 13:38
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.

Test with third party runners

2 participants