Skip to content

GitHub Actions: for now, comment out the ${{ runner.arch }} line#430

Merged
bors[bot] merged 1 commit intomasterfrom dpa/runner-archJun 20, 2022

Commits

Commits on Jun 20, 2022