Bumping Trieste and adding the cheriot tests

Signed-off-by: Matthew A Johnson <matjoh@microsoft.com>

.github/workflows/pr_gate.yml

@@ -369,3 +369,35 @@ jobs:
       - name: Python test
         working-directory: ${{github.workspace}}/wrappers/python/ 
         run: pytest -vv
+
+  linux-cheriot:
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+        repository: https://github.com/CHERIoT-Platform/cheriot-audit.git
+
+      - uses: mjp41/workaround8649@c8550b715ccdc17f89c8d5c28d7a48eeff9c94a8
+
+      - name: Get dependencies
+        run: |
+          sudo apt-get install ninja-build
+
+      - name: Git config for fetching pull requests
+        run: |
+          git config --global --add remote.origin.fetch +refs/pull/*/merge:refs/remotes/pull/*
+
+      - name: CMake config
+        run: cmake -B ${{github.workspace}}/build --preset release-clang
+        env:
+          REGOCPP_REPO: https://github.com/${{github.repository}}
+          REGOCPP_TAG: ${{github.sha}}
+
+      - name: CMake build
+        working-directory: ${{github.workspace}}/build
+        run: NINJA_STATUS="%p [%f:%s/%t] %o/s, %es" && ninja
+
+      - name: CMake test
+        working-directory: ${{github.workspace}}/build
+        run: ctest -j4 --output-on-failure

CMakeLists.txt

@@ -93,7 +93,7 @@ FetchContent_Declare(
 FetchContent_Declare(
   trieste
   GIT_REPOSITORY https://github.com/microsoft/trieste
-  GIT_TAG        37b1b35fb19db799367d1ca1a82273d8d268695d
+  GIT_TAG        6bb2ccffc5b8c21c90348c07a2c8a46316faba19
 )
 
 FetchContent_MakeAvailable(cmake_utils)