mkm: fix typo, add cn test workflow

.github/workflows/proofs.yml

@@ -67,7 +67,7 @@ jobs:
             cd components/platform_crypto/shave_trusted_boot &&
             make cn_proof
 
-  mission-protection-system-verify-cn:
+  mission-key-management-verify-cn:
     runs-on: ubuntu-22.04
     steps:
       - name: Checkout repository and submodules
@@ -83,5 +83,24 @@ jobs:
           # Use `>` so newlines will be replaced with spaces
           run: >
             eval `opam env` &&
-            cd components/mission_protection_system &&
+            cd components/mission_key_management &&
             make cn_proof
+
+  mission-key-management-test-cn:
+    runs-on: ubuntu-22.04
+    steps:
+      - name: Checkout repository and submodules
+        uses: actions/checkout@v4
+      - name: Prove secure boot
+        uses: addnab/docker-run-action@v3
+        with:
+          image: ghcr.io/rems-project/cerberus/cn@sha256:57f9f894e1ba436941dac692efba85f9b2611460388c98a2f6d355f10b511e6c
+          registry: ghcr.io
+          options: -v ${{ github.workspace }}:/data
+          # This action seems to override the docker image entrypoint, as a result
+          # we need to run "eval `opam env`" first
+          # Use `>` so newlines will be replaced with spaces
+          run: >
+            eval `opam env` &&
+            cd components/mission_key_management &&
+            make cn_test