ci: add npc difftest

.gitea/workflows/npc-test.yml

@@ -0,0 +1,34 @@
+name: Run CTests within npc
+on: [push]
+
+jobs:
+  build-abstract-machine:
+    runs-on: nix
+    steps:
+      - uses: https://github.com/cachix/cachix-action@v14
+        with:
+          name: ysyx
+          authToken: '${{ secrets.CACHIX_SIGNING_KEY }}'
+      - uses: actions/checkout@v4
+        with:
+          submodules: true
+      - name: Cache sbt dependencies
+        id: cache-sbt-dependency
+        uses: actions/cache@v4
+        with:
+          path: npc/core
+          key: core
+      - name: Fetch sbt dependencies
+        if: steps.cache-sbt-dependency.outputs.cache-hit != 'true'
+        run: |
+          cd npc/core
+          sbt update
+      - name: Run tests
+        uses: https://github.com/nicknovitski/nix-develop@v1
+        with:
+          arguments: .#npc
+      - run: mkdir -p npc/build
+      - run: cd npc/build
+      - run: cmake $cmakeFlags ../
+      - run: make -j8
+      - run: ctest -V