Add kernel header check workflow (#219)
diff --git a/.github/workflows/header-checks.yml b/.github/workflows/header-checks.yml
new file mode 100644
index 0000000..c249ea4
--- /dev/null
+++ b/.github/workflows/header-checks.yml
@@ -0,0 +1,46 @@
+name: FreeRTOS-Header-Checker
+
+on: [pull_request]
+
+jobs:
+ header-checker:
+ name: File Header Checks
+ runs-on: ubuntu-latest
+ steps:
+ # Install python 3
+ - name: Tool Setup
+ uses: actions/setup-python@v2
+ with:
+ python-version: 3.8.5
+ architecture: x64
+ env:
+ GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+
+ # Get latest checks from master
+ - name: Checkout FreeRTOS Tools
+ uses: actions/checkout@v2
+ with:
+ repository: FreeRTOS/FreeRTOS
+ ref: master
+ path: tools
+
+ # Checkout user pull request changes
+ - name: Checkout Pull Request
+ uses: actions/checkout@v2
+ with:
+ ref: ${{ github.event.pull_request.head.sha }}
+ path: inspect
+
+ # Collect all affected files
+ - name: Collecting changed files
+ uses: lots0logs/gh-action-get-changed-files@2.1.4
+ with:
+ token: ${{ secrets.GITHUB_TOKEN }}
+
+ # Run checks
+ - name: Check File Headers
+ run: |
+ cd inspect
+ ../tools/.github/scripts/check-header.py --kernel --json ${HOME}/files.json
+ exit $?
+
