workflows: Revert runner selection based on discussion with github support - #1032
Open
hjpotter92 wants to merge 1 commit into
Open
workflows: Revert runner selection based on discussion with github support#1032hjpotter92 wants to merge 1 commit into
hjpotter92 wants to merge 1 commit into
