Add nix smoke test in CI

.github/workflows/test.yml

@@ -97,3 +97,43 @@ jobs:
       - name: 'Tear down Docker'
         if: always()
         run: docker stop --time=0 ${CONTAINER}
+
+  nix:
+    needs: code-quality-checks
+    name: 'Nix Tests'
+    strategy:
+      fail-fast: false
+      matrix:
+        runner: [normal, MacM1]  # MacM1 / normal are self-hosted, 
+    runs-on: ${{ matrix.runner }}
+    timeout-minutes: 60
+    steps:
+      - name: 'Check out code'
+        uses: actions/checkout@v4
+        with:
+          fetch-depth: 0
+      - name: 'Install Nix'
+        if: ${{ matrix.runner != 'MacM1' }}
+        uses: cachix/[email protected]
+        with:
+          install_url: https://releases.nixos.org/nix/nix-2.24.12/install
+          extra_nix_config: |
+            substituters = http://cache.nixos.org https://cache.iog.io
+            trusted-public-keys = cache.nixos.org
+      - name: 'Install Cachix'
+        if: ${{ matrix.runner != 'MacM1' }}
+        uses: cachix/cachix-action@v16
+        with:
+          name: k-framework
+      - name: 'Build Komet'
+        env:
+          NIX_PATH: 'nixpkgs=http://nixos.org/channels/nixos-22.05/nixexprs.tar.xz'
+          GC_DONT_GC: '1'
+        run: |
+          set -euxo pipefail
+          nix --version
+          JQ=$(nix-build '<nixpkgs>' -A jq --no-link)/bin/jq
+          KOMET_BIN=$(nix build .#komet.rust-stellar --print-build-logs --json | $JQ -r '.[].outputs | to_entries[].value')/bin
+          echo $KOMET_BIN >> $GITHUB_PATH
+      - name: 'Run smoke test'
+        run: cd package && ./test-package.sh

package/test-package.sh

@@ -0,0 +1,9 @@
+#!/usr/bin/env bash
+
+set -euxo pipefail
+
+which komet
+komet --help
+
+cd test-project
+komet prove run --id 'test_true'

package/test-project/.gitignore

@@ -0,0 +1,2 @@
+target
+test_snapshots