summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIslam Ahmed <islam.ik.ahmed@gmail.com>2023-06-06 12:28:07 -0700
committerGitHub <noreply@github.com>2023-06-06 12:28:07 -0700
commit7c9a2c1656dca05d32bb0fbc3f2c51bf1f586ec6 (patch)
treeb722f6d59cd7b2adf2630d49dd7f69cc09789df2
parent310f47ccca371d13eb051f3c8ce0ce051d21d92e (diff)
parent90a99eafaba987736a355f6447b449ed30af4c76 (diff)
Merge pull request #1525 from google/EsoFromTheEast-patch-1
Addressing feedback from last PR
-rw-r--r--.github/workflows/main.yml10
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