From 64d968d3abb8db8c1b7e8a9d40cc80f31c91c5e4 Mon Sep 17 00:00:00 2001
From: F-WRunTime <freeman.wenzl@runtimeverification.com>
Date: Tue, 7 Oct 2025 09:59:10 -0600
Subject: [PATCH 1/2] Upgrade Install Nix Action

- Change from nxi version 2.13.X -> 2.32.0
- Touched master-push.yml / test-pr.yml / update-version.yml
---
 .github/workflows/master-push.yml    | 2 +-
 .github/workflows/test-pr.yml        | 2 +-
 .github/workflows/update-version.yml | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/master-push.yml b/.github/workflows/master-push.yml
index 189462f..0cb8938 100644
--- a/.github/workflows/master-push.yml
+++ b/.github/workflows/master-push.yml
@@ -29,7 +29,7 @@ jobs:
         if: ${{ !startsWith(matrix.os, 'self') }}
         uses: cachix/install-nix-action@v22
         with:
-          install_url: https://releases.nixos.org/nix/nix-2.13.3/install
+          install_url: https://releases.nixos.org/nix/nix-2.32.0/install
           extra_nix_config:
             access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}
 
diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
index d4ad641..71a0f5c 100644
--- a/.github/workflows/test-pr.yml
+++ b/.github/workflows/test-pr.yml
@@ -19,7 +19,7 @@ jobs:
       - name: 'Install Nix/Cachix'
         uses: cachix/install-nix-action@v22
         with:
-          install_url: https://releases.nixos.org/nix/nix-2.13.3/install
+          install_url: https://releases.nixos.org/nix/nix-2.32.0/install
           extra_nix_config:
             access-tokens = github.com=${{ secrets.GITHUB_TOKEN }}
           
diff --git a/.github/workflows/update-version.yml b/.github/workflows/update-version.yml
index feb188f..df85668 100644
--- a/.github/workflows/update-version.yml
+++ b/.github/workflows/update-version.yml
@@ -28,7 +28,7 @@ jobs:
       - name: 'Install Nix'
         uses: cachix/install-nix-action@v22
         with:
-          install_url: https://releases.nixos.org/nix/nix-2.13.3/install
+          install_url: https://releases.nixos.org/nix/nix-2.32.0/install
           extra_nix_config: |
             substituters = http://cache.nixos.org https://hydra.iohk.io
             trusted-public-keys = cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY= hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ=

From 3215ab78f9b3948e950d7432c6edfaa3be007e42 Mon Sep 17 00:00:00 2001
From: F-WRunTime <freeman.wenzl@runtimeverification.com>
Date: Tue, 7 Oct 2025 17:16:53 -0600
Subject: [PATCH 2/2] Rev WF Action cachix/install-nix-action

- Move action version from 22 -> 31.7.0
---
 .github/workflows/master-push.yml    | 2 +-
 .github/workflows/test-pr.yml        | 2 +-
 .github/workflows/update-version.yml | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/master-push.yml b/.github/workflows/master-push.yml
index 0cb8938..1ac3067 100644
--- a/.github/workflows/master-push.yml
+++ b/.github/workflows/master-push.yml
@@ -27,7 +27,7 @@ jobs:
 
       - name: 'Install Nix/Cachix'
         if: ${{ !startsWith(matrix.os, 'self') }}
-        uses: cachix/install-nix-action@v22
+        uses: cachix/install-nix-action@v31.7.0
         with:
           install_url: https://releases.nixos.org/nix/nix-2.32.0/install
           extra_nix_config:
diff --git a/.github/workflows/test-pr.yml b/.github/workflows/test-pr.yml
index 71a0f5c..a629ff8 100644
--- a/.github/workflows/test-pr.yml
+++ b/.github/workflows/test-pr.yml
@@ -17,7 +17,7 @@ jobs:
       - name: 'Check out code'
         uses: actions/checkout@v3
       - name: 'Install Nix/Cachix'
-        uses: cachix/install-nix-action@v22
+        uses: cachix/install-nix-action@v31.7.0
         with:
           install_url: https://releases.nixos.org/nix/nix-2.32.0/install
           extra_nix_config:
diff --git a/.github/workflows/update-version.yml b/.github/workflows/update-version.yml
index df85668..d545852 100644
--- a/.github/workflows/update-version.yml
+++ b/.github/workflows/update-version.yml
@@ -26,7 +26,7 @@ jobs:
       - name: 'Install Poetry'
         uses: Gr1N/setup-poetry@v9
       - name: 'Install Nix'
-        uses: cachix/install-nix-action@v22
+        uses: cachix/install-nix-action@v31.7.0
         with:
           install_url: https://releases.nixos.org/nix/nix-2.32.0/install
           extra_nix_config: |