diff options
| -rw-r--r-- | .github/workflows/main.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index ce803c8494bd..effd6aed5e19 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -6,7 +6,7 @@ jobs: update-symbols: permissions: contents: write - runs-on: ubuntu-latest + runs-on: ubuntu-20.04-4core strategy: fail-fast: false steps: |