Improve Consensus on the metaverse graph #7265
Workflow file for this run
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
| # NOTE: This name appears in GitHub's Checks API and in workflow's status badge. | |
| name: ci-renovate | |
| # Trigger the workflow when: | |
| on: | |
| # When a pull request event occurs for a pull request against one of the | |
| # matched branches. | |
| pull_request: | |
| branches: [master] | |
| jobs: | |
| add-changelog: | |
| # NOTE: This name appears in GitHub's Checks API. | |
| name: add-changelog | |
| # Trigger job only for dependency update bot. | |
| if: github.actor == 'renovate[bot]' | |
| runs-on: ubuntu-latest | |
| # Permissions needed to update PR. | |
| permissions: | |
| # Enable creating, updating files | |
| contents: write | |
| steps: | |
| - name: Checkout code | |
| uses: actions/checkout@v4 | |
| with: | |
| # Needed for correct git commit --amend. | |
| fetch-depth: 0 | |
| # Checkout pull request HEAD commit instead of merge commit. | |
| ref: ${{ github.event.pull_request.head.sha }} | |
| # We use a Personal Access Token (PAT) to checkout and later push the commit instead of | |
| # the default $GITHUB_TOKEN. This is because events triggered by $GITHUB_TOKEN will not | |
| # trigger new workflow runs, but we want to re-run the CI after pushing the updated commit. | |
| # https://docs.github.com/en/actions/using-workflows/triggering-a-workflow#triggering-a-workflow-from-a-workflow | |
| token: ${{ secrets.BOT_GITHUB_TOKEN || secrets.GITHUB_TOKEN }} | |
| - name: Set workflow variables | |
| # Id is needed to access output in a next step. | |
| id: vars | |
| run: | | |
| echo "FILE_NAME=.changelog/${{ github.event.pull_request.number }}.internal.md" >> $GITHUB_OUTPUT | |
| - name: Create and commit Change Log fragment if it does not exist | |
| run: | | |
| if [[ ! -f "${{ steps.vars.outputs.FILE_NAME }}" ]]; then | |
| echo "Update dependencies" > ${{ steps.vars.outputs.FILE_NAME }} | |
| # Set git user email and name to match author of the last commit. | |
| git config --local user.email "$(git log --pretty='%ae' -1)" | |
| git config --local user.name "$(git log --pretty=format:'%an' -1)" | |
| git add ${{ steps.vars.outputs.FILE_NAME }} | |
| git commit --amend --no-edit | |
| git push --force-with-lease origin HEAD:refs/heads/${{ github.head_ref }} | |
| echo "FILE_EXISTS=false" >> $GITHUB_OUTPUT | |
| fi |