mirror of
https://github.com/KhronosGroup/SPIRV-Tools
synced 2024-11-29 06:21:06 +00:00
4683eab649
Adding a github action to open a PR when the DEPS can be updated. It will run once a day or it can be manually triggered. I updated roll_deps.sh so that it will not return an error if there were no new commits for a repository.
49 lines
1.3 KiB
YAML
49 lines
1.3 KiB
YAML
name: Update dependencies
|
|
|
|
on:
|
|
schedule:
|
|
- cron: '0 2 * * *'
|
|
workflow_dispatch:
|
|
|
|
jobs:
|
|
update-dependencies:
|
|
name: Update dependencies
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
|
- uses: actions/checkout@v3
|
|
|
|
# Checkout the depot tools they are needed by roll_deps.sh
|
|
- name: Checkout depot tools
|
|
run: git clone https://chromium.googlesource.com/chromium/tools/depot_tools.git
|
|
|
|
- name: Update PATH
|
|
run: echo "./depot_tools" >> $GITHUB_PATH
|
|
|
|
- name: Download dependencies
|
|
run: python3 utils/git-sync-deps
|
|
|
|
- name: Setup git user information
|
|
run: |
|
|
git config user.name "GitHub Actions bot"
|
|
git config user.email "<>"
|
|
git checkout -b roll_deps
|
|
|
|
- name: Update dependencies
|
|
run: |
|
|
utils/roll_deps.sh
|
|
if [[ `git diff HEAD..origin/main --name-only | wc -l` == 0 ]]; then
|
|
echo "changed=false" >> $GITHUB_OUTPUT
|
|
else
|
|
echo "changed=true" >> $GITHUB_OUTPUT
|
|
fi
|
|
id: update_dependencies
|
|
|
|
- name: Push changes and create PR
|
|
if: steps.update_dependencies.outputs.changed == 'true'
|
|
run: |
|
|
git push --force --set-upstream origin roll_deps
|
|
gh pr create --base main -f -r s-perron
|
|
env:
|
|
GITHUB_TOKEN: ${{ github.token }}
|