Add manifest check

.github/workflows/ci.yml

@@ -135,6 +135,28 @@ jobs:
         with:
           path: ./
 
+  verify-manifest:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+        with:
+          submodules: true
+          fetch-depth: 0
+
+      # At time of writing the gitmodules are set not to pull
+      # Even when using fetch submodules. Need to run this command
+      # To force it to grab them.
+      - name: Perform Recursive Clone
+        shell: bash
+        run: git submodule update --checkout --init --recursive
+
+      - name: Run manifest verifier
+        uses: FreeRTOS/CI-CD-GitHub-Actions/manifest-verifier@CI-CD-Overhaul
+        with:
+          path: ./
+          fail-on-incorrect-version: true
+
+
   proof_ci:
     if: ${{ github.event.pull_request }}
     runs-on: cbmc_ubuntu-latest_64-core

.gitmodules

@@ -6,4 +6,4 @@
 [submodule "source/dependency/3rdparty/llhttp"]
 	path = source/dependency/3rdparty/llhttp
 	url = https://github.com/nodejs/llhttp.git
-	# v3.0.0
+	# release/v6.0.5