diff options
author | Islam Ahmed <islam.ik.ahmed@gmail.com> | 2023-06-06 12:28:07 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-06-06 12:28:07 -0700 |
commit | 7c9a2c1656dca05d32bb0fbc3f2c51bf1f586ec6 (patch) | |
tree | b722f6d59cd7b2adf2630d49dd7f69cc09789df2 | |
parent | 310f47ccca371d13eb051f3c8ce0ce051d21d92e (diff) | |
parent | 90a99eafaba987736a355f6447b449ed30af4c76 (diff) |
Merge pull request #1525 from google/EsoFromTheEast-patch-1
Addressing feedback from last PR
-rw-r--r-- | .github/workflows/main.yml | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 8a267b9aea00..7de007f78c76 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -10,23 +10,21 @@ jobs: strategy: fail-fast: false steps: - - uses: actions/checkout@v2 + - uses: actions/checkout@v3 - name: Set up Python - uses: actions/setup-python@v2 + uses: actions/setup-python@v4 with: python-version: 3.11 - name: Install dependencies run: | python -m pip install --upgrade pip - if [ -f update/requirements.txt ]; then pip install -r update/requirements.txt; fi + pip install -r update/requirements.txt - name: Run Update Script working-directory: ./update run: | python update_symbols.py - name: commit run: | - git config user.name "GitHub Actions Bot" - git config user.email "<>" git add . - git commit -m "Update Symbols" + git diff --staged --quiet || git -c user.name='GitHub Actions Bot' -c user.email='<>' commit -m 'Update Symbols' git push origin master |