| 123456789101112131415161718192021222324252627282930313233343536373839404142 |
- name: File header
- on:
- pull_request:
- branches: [ develop ]
- paths:
- - 'CMSIS/Core/**'
- - 'CMSIS/Core_A/**'
- - 'CMSIS/RTOS2/Include/**'
- - 'CMSIS/RTOS2/Source/**'
- - 'Device/**'
- permissions:
- contents: read
- pull-requests: write
- jobs:
- check:
- name: Check file header
- runs-on: ubuntu-latest
- steps:
- - name: Calculate depth
- id: depth
- run: |
- echo ::set-output name=GIT_COMMITS::$((${{ github.event.pull_request.commits }} + 1))
- - name: Checkout repository
- uses: actions/checkout@v2
- with:
- ref: ${{ github.event.pull_request.head.sha }}
- fetch-depth: ${{ steps.depth.outputs.GIT_COMMITS }}
- - id: files
- uses: jitterbit/get-changed-files@v1
- - name: Check changed files
- run: |
- echo "GIT_COMMITS=${{ steps.depth.outputs.GIT_COMMITS }}"
- echo "::add-matcher::.github/fileheader.json"
- RC=0
- for changed_file in ${{ steps.files.outputs.added_modified }}; do
- ./CMSIS/Utilities/check_header.sh -v -b HEAD~${{ github.event.pull_request.commits }} ${changed_file} || RC=1
- done
- echo "::remove-matcher owner=fileheader::"
- exit $RC
|