From d0933fd6cb7082b5baa6d57db1e622d679b19392 Mon Sep 17 00:00:00 2001
From: David Chalco <59750547+dachalco@users.noreply.github.com>
Date: Tue, 17 Nov 2020 15:40:10 -0800
Subject: [PATCH] Add kernel header check workflow (#219)

---
 .github/workflows/header-checks.yml | 46 +++++++++++++++++++++++++++++
 1 file changed, 46 insertions(+)
 create mode 100644 .github/workflows/header-checks.yml

diff --git a/.github/workflows/header-checks.yml b/.github/workflows/header-checks.yml
new file mode 100644
index 000000000..c249ea4ee
--- /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 $?
+