diff options
author | Islam Ahmed <islam.ik.ahmed@gmail.com> | 2024-08-09 11:54:14 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-08-09 11:54:14 -0700 |
commit | 50d5e71ea855d6d3fdf1d6dcea9ec9aa8c4115f8 (patch) | |
tree | c6319b62dc50c74d626719bf78b90e69fa0f9543 | |
parent | 5a1798b9e2cc0498d2e8a89378adc06d02fa5e66 (diff) | |
parent | 202dcf3006cb2824976e9db51ff814a2ff78f947 (diff) |
Merge pull request #1758 from google/EsoFromTheEast-patch-1
Update main.yml
-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: |