Check api example cbor in CI

Author: ch1bo

.github/workflows/check-examples.yaml

@@ -0,0 +1,32 @@
+name: Check cbor examples
+
+on:
+  pull_request:
+  push:
+    branches:
+    - main
+  schedule:
+    # Everyday at 4:00 AM
+    - cron: "0 4 * * *"
+
+jobs:
+  check-cbor-examples:
+    name: Check cbor examples
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v4
+
+    - name: Install nix
+      uses: cachix/install-nix-action@V27
+      with:
+        extra_nix_config: |
+          accept-flake-config = true
+          log-lines = 1000
+
+    - name: Enter nix shell
+      uses: nicknovitski/nix-develop@v1
+
+    - run: |
+        set -e
+        cd src/api
+        cddl <(cat cddl/local-state-query.cddl cddl/getSystemStart.cddl) validate <(xxd -r -p examples/getSystemStart/result.cbor)

flake.nix

@@ -25,14 +25,18 @@
                 mdbook-katex
                 mdbook-alerts
                 mdbook-toc
+
+                # to validate cbor / cddl
+                cddl
+                xxd
               ];
               phases = [ "unpackPhase" "buildPhase" ];
               buildPhase = ''
                 mdbook build -d $out
               '';
             }
           );
-        defaultPackage = packages.mdbook;
+        packages.default = packages.mdbook;
       }
     );
 }

src/api/cddl/local-state-query.cddl

@@ -18,9 +18,6 @@ acquireFailurePointNotOnChain = 1
 failure      = acquireFailurePointTooOld
              / acquireFailurePointNotOnChain
 
-$query        = any
-$result       = any
-
 msgAcquire   = [0, point]
              / [8]
              / [10]