ci: revert coverage runner (#5403)

This commit is contained in:
Ning Sun
2025-01-20 11:52:38 +08:00
committed by GitHub
parent 4323c20d18
commit 5daac5fe3d

View File

@@ -679,7 +679,7 @@ jobs:
coverage:
if: github.event_name == 'merge_group'
runs-on: ubuntu-24.04-arm
runs-on: ubuntu-20.04-8-cores
timeout-minutes: 60
steps:
- uses: actions/checkout@v4