| name: Generate Files |
| |
| # After any push to the main branch, re-generate pregenerated files. |
| on: |
| push: |
| branches: |
| - main |
| - '[0-9]+.x' |
| |
| jobs: |
| generate: |
| if: github.repository == 'protocolbuffers/upb' |
| runs-on: ubuntu-22-large |
| |
| steps: |
| - uses: actions/checkout@v3 |
| with: |
| # Note: this token has an expiration date, so if the workflow starts |
| # failing then you may need to generate a fresh token. |
| token: ${{ secrets.BOT_ACCESS_TOKEN }} |
| - name: Configure name and email address in Git |
| run: cd ${{ github.workspace }} && git config user.name "Protobuf Team Bot" && git config user.email "protobuf-team-bot@google.com" |
| - name: Commit and push update |
| run: cd ${{ github.workspace }} && ./cmake/push_auto_update.sh |