Make some jobs run on the GitHub Actions runners (#27512)

fix

Co-authored-by: ydshieh <ydshieh@users.noreply.github.com>
This commit is contained in:
Yih-Dar
2023-11-15 10:43:16 +01:00
committed by GitHub
parent 1e0e2dd376
commit 64e21ca2a4
17 changed files with 28 additions and 28 deletions

View File

@@ -66,7 +66,7 @@ jobs:
send_results:
name: Send results to webhook
runs-on: ubuntu-latest
runs-on: ubuntu-22.04
if: always()
needs: [run_doctests]
steps: