Update Version Information #1426
This file contains hidden or 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: Update Version Information | |
| on: | |
| push: | |
| branches: | |
| - main | |
| paths: | |
| - 'update_version_info.sh' | |
| workflow_dispatch: | |
| schedule: | |
| - cron: '0 0 * * *' | |
| env: | |
| GITHUB_TOKEN: ${{ github.token }} | |
| jobs: | |
| Update: | |
| runs-on: ubuntu-latest | |
| permissions: | |
| contents: write | |
| steps: | |
| - name: Git checkout | |
| uses: actions/checkout@v6 | |
| - name: Install dependencies | |
| run: sudo apt-get update -qq && sudo apt-get install -y git perl curl | |
| - name: Update version information | |
| run: bash ./update_version_info.sh | |
| - name: Commit and push changes | |
| run: | | |
| if git diff --quiet; then | |
| exit 0 | |
| fi | |
| git config user.email "41898282+github-actions[bot]@users.noreply.github.com" | |
| git config user.name "github-actions[bot]" | |
| git add README.md versions/*.version versions/*.hash | |
| git commit -m "Update tracked upstream versions" | |
| git push |