Broaden anglerfish run search #6
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
| name: Check VERSIONLOG.MD has been updated | |
| on: [pull_request] | |
| jobs: | |
| check-versionlog: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout PR | |
| uses: actions/checkout@v3 | |
| with: | |
| fetch-depth: 0 # Fetch all history for all branches and tags | |
| - name: Check for VERSIONLOG.MD changes | |
| id: versionlog_check | |
| # 1) Find the common ancestor between the current HEAD and the base branch | |
| # 2) Then see if the versionlog has been updated in the PR since it diverged | |
| # from the common ancestor | |
| run: | | |
| PR_BASE_SHA=$(git merge-base HEAD ${{ github.event.pull_request.base.sha }}) | |
| FILE_CHANGED=$(git diff --name-only $PR_BASE_SHA HEAD | grep 'VERSIONLOG.md' || true) | |
| if [ -n "$FILE_CHANGED" ]; then | |
| echo "VERSIONLOG.MD has been changed." | |
| else | |
| echo "VERSIONLOG.MD has NOT been changed." | |
| exit 1 # Fail the workflow if no changes in VERSIONLOG.MD | |
| fi |