Generate extension list #1042
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Generate extension list | |
| on: | |
| schedule: | |
| - cron: '11 11 * * *' | |
| workflow_dispatch: ~ | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| env: | |
| FILE: extensions.json | |
| steps: | |
| - name: Checkout source code | |
| uses: actions/checkout@v4 | |
| - name: Build JSON file | |
| run: php ./generate.php | |
| - name: Setup git | |
| run: | | |
| git config user.name "GitHub Actions Bot" | |
| git config user.email "<>" | |
| - name: Get changes | |
| id: diff | |
| run: | | |
| DIFF=$(git diff --numstat -- $FILE | wc -l) | |
| echo "DIFF=$DIFF" >> $GITHUB_OUTPUT | |
| - name: Commit changes | |
| run: | | |
| git add $FILE | |
| git commit -m 'Update extension list' | |
| git push origin $GITHUB_REF | |
| if: steps.diff.outputs.DIFF != 0 |