From b0e083d2325488ad0e7bcad3590681b85b3c640d Mon Sep 17 00:00:00 2001
From: Freeman <105403280+F-WRunTime@users.noreply.github.com>
Date: Wed, 8 Oct 2025 11:22:19 -0600
Subject: [PATCH 1/2] Update: test.yaml

Rev'ing some out of date versions

- Actions check out from v3 -> v4
- MacOS 14 -> 15 to align with changes in K testing
---
 .github/workflows/test.yaml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/test.yaml b/.github/workflows/test.yaml
index a71a482..11304d0 100644
--- a/.github/workflows/test.yaml
+++ b/.github/workflows/test.yaml
@@ -13,11 +13,11 @@ jobs:
 
     strategy:
       matrix:
-        os: [macos-14]
+        os: [macos-15]
 
     steps:
     - name: 'Check out code'
-      uses: actions/checkout@v3
+      uses: actions/checkout@v4
 
     - name: 'Install K formulas'
       run: |

From 48d224579cd5d8215b9e8d22159ed9e60463ae5d Mon Sep 17 00:00:00 2001
From: F-WRunTime <freeman.wenzl@runtimeverification.com>
Date: Wed, 8 Oct 2025 12:27:01 -0600
Subject: [PATCH 2/2] Simplify workflow to focus on formula validation only

- Replace installation and smoke testing with brew audit --strict
- Use correct tap name runtimeverification/k instead of kframework/k
- Add proper Java 17 environment setup with Maven optimizations
- Remove unnecessary K Framework installation for formula development
- Focus on validating formula syntax, style, and Homebrew best practices
---
 .github/workflows/test.yaml | 39 +++++++++++++++++++++----------------
 1 file changed, 22 insertions(+), 17 deletions(-)

diff --git a/.github/workflows/test.yaml b/.github/workflows/test.yaml
index 11304d0..5d47d73 100644
--- a/.github/workflows/test.yaml
+++ b/.github/workflows/test.yaml
@@ -7,8 +7,8 @@ concurrency:
   cancel-in-progress: true
 
 jobs:
-  install-from-source:
-    name: 'Build and install K from formula'
+  validate-formula:
+    name: 'Validate Homebrew formula'
     runs-on: ${{ matrix.os }}
 
     strategy:
@@ -19,19 +19,24 @@ jobs:
     - name: 'Check out code'
       uses: actions/checkout@v4
 
-    - name: 'Install K formulas'
-      run: |
-        brew tap kframework/k file://$(pwd)
-
-        brew install --build-from-source --verbose kframework 
-
-        brew install --build-from-source --verbose cryptopp@8.6.0 
-        brew unlink cryptopp@8.6.0
-
-    - name: 'Smoke test'
+    - name: 'Test Homebrew formula validation'
       env:
-        JAVA_HOME: ${{ env.JAVA_HOME_11_X64 }}
-      run: |
-        kompile --help
-        krun    --help
-        kprove  --help
+        # github actions sets the JAVA_HOME variable to Java 8 explicitly for
+        # some reason. There doesn't seem to be a way to tell it to unset the
+        # variable, so instead we just have to tell it to use Java 17
+        # explicitly instead.
+        JAVA_HOME: ${{ env.JAVA_HOME_17_X64 }}
+        HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK: 1
+        MAVEN_OPTS: >-
+          -Dhttp.keepAlive=false
+          -Dmaven.wagon.http.pool=false
+          -Dmaven.wagon.httpconnectionManager.ttlSeconds=30
+      run: |       
+        # Remove any existing tap to avoid remote mismatch errors
+        brew untap runtimeverification/k 2>/dev/null || true
+        
+        # Validate the formula syntax by installing it as a local tap
+        brew tap runtimeverification/k "file://$(pwd)"
+        brew audit --strict kframework
+        
+        echo "✅ Formula validation completed successfully"