Merge pull request #5195 from IntersectMBO/coot/dmq-cip-137-update

dmq: using annotated codec and OCert from kes-agent library

Author: coot

.github/workflows/build.yml

@@ -44,6 +44,11 @@ jobs:
         ghc-version: ${{ matrix.ghc }}
         cabal-version: "3.12.1.0"
 
+    - name: Install system dependencies
+      uses: input-output-hk/actions/base@latest
+      with:
+        use-sodium-vrf: true # default is true
+
     - uses: actions/checkout@v5
 
     - name: "Configure cabal.project.local"
@@ -131,6 +136,9 @@ jobs:
       if: runner.os != 'Windows'
       run: cabal run ouroboros-network:sim-tests -- +RTS -maxN2 -RTS
 
+    - name: dmq-node [test]
+      run: cabal run dmq-node:dmq-test -- +RTS -maxN2 -RTS
+
     # Uncomment the following back in for debugging. Remember to launch a `pwsh` from
     # the tmux session to debug `pwsh` issues. And be reminded that the `/msys2` and
     # `/msys2/mingw64` paths are not in PATH by default for the workflow, but tmate

cabal.project

@@ -31,7 +31,7 @@ packages: ./cardano-ping
           ./ouroboros-network-testing
           ./ntp-client
           ./cardano-client
-          ./decentralized-message-queue
+          ./dmq-node
           ./acts-generic
 
 tests: True
@@ -59,3 +59,11 @@ package acts
   flags: -finitary
 
 allow-newer: quickcheck-instances:QuickCheck
+
+-- kes-agent is not yet in CHaP, so we pull it from its GitHub repo
+source-repository-package
+  type: git
+  location: https://github.com/input-output-hk/kes-agent
+  tag: ebf8c0e480adf7b3ccd68bc7dd5b57f781f369ea
+  --sha256: sha256-QIb6qgcwtO7aB9PUhZTHyKw50GV3ViXOakQvnR3HFIY=
+  subdir: kes-agent-crypto