GHA release

.github/workflows/release-upload.yaml

@@ -78,9 +78,15 @@ jobs:
       - name: Compress binary
         run: tar -czf dmq-node-linux.tar.gz result/bin/dmq-node
 
+      - name: Checksums
+        run: |
+          sha256sum dmq-node-linux.tar.gz >> "dmq-node-linux.tar.gz.sha256sum.txt"
+
       - name: Release
         uses: input-output-hk/action-gh-release@v1
         with:
           draft: true
+          name: "Release dmq-node-${{ github.ref_name }}"
           files: |
             dmq-node-linux.tar.gz
+            dmq-node-linux.tar.gz.sha256sum.txt

dmq-node/src/DMQ/Protocol/SigSubmission/Type.hs

@@ -185,11 +185,18 @@ data Sig crypto = SigWithBytes {
     -- ^ the `SigRaw` data type along with signed bytes
   }
 
-deriving instance ( DSIGNAlgorithm (KES.DSIGN crypto)
-                  , Show (VerKeyKES (KES crypto))
-                  , Show (SigKES (KES crypto))
-                  )
-               => Show (Sig crypto)
+-- TODO: this show instance is too minimal.  Proper `Show` instance is useful
+-- in `QuickCheck` tests.  This minimal instance is for example
+-- useful in `TraceTxLogic` tracer..
+--
+instance Show (Sig crypto) where
+  show Sig { sigId } = "Sig { sigId = \"" ++ show (getSigId sigId) ++ "\" }"
+
+-- deriving instance ( DSIGNAlgorithm (KES.DSIGN crypto)
+--                   , Show (VerKeyKES (KES crypto))
+--                   , Show (SigKES (KES crypto))
+--                   )
+--                => Show (Sig crypto)
 deriving instance ( DSIGNAlgorithm (KES.DSIGN crypto)
                   , Eq (VerKeyKES (KES crypto))
                   , Eq (SigKES (KES crypto))