From 37984b757cb821262d58e758f82cc76608e3700a Mon Sep 17 00:00:00 2001
From: Everett Hildenbrandt <everett.hildenbrandt@gmail.com>
Date: Tue, 9 Jun 2026 20:52:17 +0000
Subject: [PATCH 1/2] .github/workflows/master.yml: build nix derivations once,
 push to both caches

The nix-cache and nix-binary-cache jobs each built .#komet from scratch on
the same runner matrix before pushing to their respective caches. Merge them
into a single job that builds once, pushes the closure to the k-framework
cache, then reuses the already-built store paths for the kup publish to
k-framework-binary, switching CACHIX_AUTH_TOKEN between the two pushes.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
---
 .github/workflows/master.yml | 28 ++++++----------------------
 1 file changed, 6 insertions(+), 22 deletions(-)

diff --git a/.github/workflows/master.yml b/.github/workflows/master.yml
index 1e396d5..9c0aa68 100644
--- a/.github/workflows/master.yml
+++ b/.github/workflows/master.yml
@@ -24,7 +24,7 @@ jobs:
           gh release create ${VERSION} --target ${{ github.sha }}
   
   nix-cache:
-    name: 'Populate Nix Cache'
+    name: 'Populate Nix Caches'
     strategy:
       matrix:
         runner: [normal, ARM64]
@@ -36,37 +36,21 @@ jobs:
           ref: ${{ github.event.push.head.sha }}
           fetch-depth: 0
 
-      - name: 'Build and cache Komet'
+      - name: 'Build Komet and push to caches'
         uses: workflow/nix-shell-action@v3
         env:
           GC_DONT_GC: 1
-          CACHIX_AUTH_TOKEN: ${{ secrets.CACHIX_PUBLIC_TOKEN }}
+          CACHIX_PUBLIC_TOKEN: ${{ secrets.CACHIX_PUBLIC_TOKEN }}
+          CACHIX_PRIVATE_KFB_TOKEN: ${{ secrets.CACHIX_PRIVATE_KFB_TOKEN }}
         with:
           packages: jq
           script: |
             KOMET=$(nix build --extra-experimental-features 'nix-command flakes' .#komet --json | jq -r '.[].outputs | to_entries[].value')
             DRV=$(nix-store --query --deriver ${KOMET})
+            export CACHIX_AUTH_TOKEN="${CACHIX_PUBLIC_TOKEN}"
             nix-store --query --requisites --include-outputs ${DRV} | cachix push k-framework
-    
-  nix-binary-cache:
-    name: 'Populate Nix Binary Cache'
-    strategy:
-      matrix:
-        runner: [normal, ARM64]
-    runs-on: ${{ matrix.runner }}
-    steps:
-      - name: 'Check out code'
-        uses: actions/checkout@v4
-
-      - name: 'Publish Komet to k-framework-binary cache'
-        uses: workflow/nix-shell-action@v3
-        env:
-          CACHIX_AUTH_TOKEN: '${{ secrets.CACHIX_PRIVATE_KFB_TOKEN }}'
-          GC_DONT_GC: '1'
-        with:
-          packages: jq
-          script: |
             export PATH="$(nix build github:runtimeverification/kup --no-link --json | jq -r '.[].outputs | to_entries[].value')/bin:$PATH"
+            export CACHIX_AUTH_TOKEN="${CACHIX_PRIVATE_KFB_TOKEN}"
             kup publish k-framework-binary .#komet --keep-days 180
             kup publish k-framework-binary .#komet.rust-stellar --keep-days 180
 

From 964bf0e829c3a8a4c6eb02858c0c14f5adc844c9 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Tue, 9 Jun 2026 20:53:54 +0000
Subject: [PATCH 2/2] Set Version: 0.1.83

---
 package/version | 2 +-
 pyproject.toml  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/package/version b/package/version
index 59e55c1..660b5ae 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-0.1.82
+0.1.83
diff --git a/pyproject.toml b/pyproject.toml
index 1cdc7f8..b4bbc35 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "hatchling.build"
 
 [project]
 name = "komet"
-version = "0.1.82"
+version = "0.1.83"
 description = "K tooling for the Soroban platform"
 requires-python = "~=3.10"
 dependencies = [