Test kup cache

runtimeverification · Oct 24, 2023 · 7cb9226 · 7cb9226
1 parent 2a99e06
commit 7cb9226
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -111,6 +111,13 @@ jobs:
       - name: Build
         run: GC_DONT_GC=1 nix build .#kore-exec
 
+      - name: Build kup and publish binaries
+        env:
+          CACHIX_AUTH_TOKEN: '${{ secrets.K_FRAMEWORK_BINARY_SIGNING_KEY }}'
+        run: |
+          export PATH="$(nix build github:runtimeverification/kup/sam/kup2.0 --no-link --json | jq -r '.[].outputs | to_entries[].value')/bin:$PATH"
+          kup publish k-framework-binary .#kore-exec --keep-days 180
+
       - name: Cache Cabal package database and store
         uses: actions/cache@v3
         with: