| 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: Checkout repository |
| uses: actions/checkout@v2 |
| - id: files |
| uses: jitterbit/get-changed-files@v1 |
| - name: Check changed files |
| run: | |
| RC=0 |
| for changed_file in ${{ steps.files.outputs.all }}; do |
| ./CMSIS/Utilities/check_header.sh ${changed_file} || RC=1 |
| done |
| exit $RC |