Merge remote-tracking branch 'origin/master' #839
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: Trigger site rebuild | |
on: [push] | |
jobs: | |
build: | |
runs-on: ubuntu-latest | |
steps: [ | |
{ | |
name: 'Skip based on commit message', | |
uses: veggiemonk/[email protected], | |
env: { | |
COMMIT_FILTER: 'skip-ci' | |
} | |
}, | |
{ name: 'Checkout Code', uses: actions/checkout@v2 }, | |
{ | |
name: 'Lint Code Base', | |
uses: 'github/super-linter@v4', | |
env: { | |
VALIDATE_ALL_CODEBASE: false, | |
DEFAULT_BRANCH: 'master', | |
GITHUB_TOKEN: '${{ secrets.GITHUB_TOKEN }}' | |
} | |
}, | |
{ name: 'Install Python', uses: actions/setup-python@v4, with: { python-version: 3.10.5, architecture: x64 } }, | |
{ name: 'Install Requests', run: 'pip install --user requests' }, | |
{ name: 'Update dates', run: 'python update.py --githubtoken=${{ secrets.SERVICES_GITHUB_TOKEN }} dates' }, | |
{ name: 'Update stars', run: 'python update.py --githubtoken=${{ secrets.SERVICES_GITHUB_TOKEN }} starcount' }, | |
{ name: 'Commit changes', run: 'python update.py --githubtoken=${{ secrets.SERVICES_GITHUB_TOKEN }} commit' }, | |
{ | |
name: 'Repository dispatch', | |
uses: defold/[email protected], | |
with: { | |
repo: 'defold/defold.github.io', | |
token: '${{ secrets.SERVICES_GITHUB_TOKEN }}', | |
user: '[email protected]', | |
action: 'asset-portal' | |
} | |
}] |