Updating the uncrustify bot to use the new formatting action. Idea is to just apply the patch the formatting action created.

Author: Skptak

.github/workflows/ci.yml

@@ -334,7 +334,7 @@ jobs:
     runs-on: cbmc_ubuntu-latest_16-core
     steps:
       - name: Set up CBMC runner
-        uses: FreeRTOS/CI-CD-Github-Actions/set_up_cbmc_runner@main
+        uses: FreeRTOS/CI-CD-Github-Actions/set_up_cbmc_runner@v2
         with:
           cbmc_version: "5.61.0"
 
@@ -352,6 +352,6 @@ jobs:
           echo -e "${{ env.bashPass }} ${{ env.stepName }} ${{ env.bashEnd }}"
 
       - name: Run CBMC
-        uses: FreeRTOS/CI-CD-Github-Actions/run_cbmc@main
+        uses: FreeRTOS/CI-CD-Github-Actions/run_cbmc@v2
         with:
           proofs_dir: test/cbmc/proofs

.github/workflows/formatting.yml

@@ -0,0 +1,23 @@
+name: Format Pull Request Files
+
+on:
+  issue_comment:
+    types: [created]
+
+env:
+  bashPass: \033[32;1mPASSED -
+  bashInfo: \033[33;1mINFO -
+  bashFail: \033[31;1mFAILED -
+  bashEnd:  \033[0m
+
+jobs:
+  Formatting:
+    name: Run Formatting Check
+    if: ${{ github.event.issue.pull_request }} &&
+        ( ( github.event.comment.body == '/bot run uncrustify' ) ||
+          ( github.event.comment.body == '/bot run formatting' ) )
+    runs-on: ubuntu-20.04
+    steps:
+    - name: Apply Formatting Fix
+      uses: FreeRTOS/CI-CD-Github-Actions/formatting-bot@v2
+      id: check-formatting

.github/workflows/uncrustify.yml

@@ -1,3 +1,19 @@
+# Ignore MacOS file system related.
+**/*.DS_Store*
+
+# Ignore build results
+[Dd]ebug/
+[Dd]ebugPublic/
+[Dd]ebug_with_Libslirp/
+[Rr]elease/
+[Rr]eleases/
+[Bb]in/
+[Oo]bj/
+[Ll]og/
+[Ll]ogs/
+[Bb]uild/
+__pycache__/
+
 **/*.d
 **/*.o
 **/*.su