Check that card is generated

Author: danieldk

.github/workflows/test_extra_commands.yaml

@@ -29,3 +29,10 @@ jobs:
           USER: runner
       - name: Test nix run .#kernels
         run: ( cd examples/kernels/relu ; nix run .#kernels -- lock ../../../nix-builder/tests/run-kernels )
+      - name: Test card generation
+        run: |
+          (
+            cd examples/kernels/silu-and-mul
+            nix build -L .
+            test -e result/CARD.md
+          )