Add in manifest verification

aws · Aug 17, 2023 · fd051b9 · fd051b9
1 parent c1aeffd
commit fd051b9
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -125,6 +125,20 @@ jobs:
  GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
  uses: Skptak/CI-CD-Github-Actions/link-verifier@main
 
+ verify-manifest:
+ runs-on: ubuntu-latest
+ steps:
+ - uses: actions/checkout@v3
+ with:
+ submodules: true
+ fetch-depth: 0
+
+ - name: Run manifest verifier
+ uses: FreeRTOS/CI-CD-GitHub-Actions/manifest-verifier@main
+ with:
+ path: ./
+ fail-on-incorrect-version: true
+
  proof_ci:
  if: ${{ github.event.pull_request }}
  runs-on: cbmc_ubuntu-latest_16-core