Update: test.yaml

.github/workflows/test.yaml

@@ -7,31 +7,36 @@ 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:
       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: |
-        brew tap kframework/k file://$(pwd)
-
-        brew install --build-from-source --verbose kframework 
-
-        brew install --build-from-source --verbose [email protected] 
-        brew unlink [email protected]
-
-    - 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"