claude: simplify min-version step and skip antithesis tests in test-min-protocol

Apply review suggestion to remove redundant name/comments in the
min-version CI step. Skip antithesis tests in the min-protocol job
since they spawn subprocess projects that inherit HEGEL_SERVER_COMMAND
and the old hegel-core doesn't support them.

Author: Liam-DeVoe

.github/workflows/ci.yml

@@ -108,18 +108,14 @@ jobs:
         with:
           tools: just uv
 
-      - name: Determine minimum hegel-core version
-        id: min-version
+      - id: min-version
         run: |
-          # Read the lower bound of SUPPORTED_PROTOCOL_VERSIONS from runner.rs
           MIN_PROTOCOL=$(grep -oE 'SUPPORTED_PROTOCOL_VERSIONS.*\(([0-9.]+)' src/runner.rs | grep -oE '[0-9.]+$')
-          echo "Minimum supported protocol version: $MIN_PROTOCOL"
 
-          # Fetch the version mapping from hegel.dev
           VERSIONS_JSON=$(curl -sf https://hegel.dev/api/versions.json)
 
-          # Look up the earliest hegel-core version for this protocol
           MIN_CORE=$(echo "$VERSIONS_JSON" | python3 -c "import sys,json; print(json.load(sys.stdin)['$MIN_PROTOCOL'])")
+          echo "Minimum supported protocol version: $MIN_PROTOCOL"
           echo "Minimum hegel-core version: $MIN_CORE"
           echo "min_core=$MIN_CORE" >> "$GITHUB_OUTPUT"
 
@@ -128,7 +124,9 @@ jobs:
           MIN_CORE: ${{ steps.min-version.outputs.min_core }}
         run: |
           uv tool install "hegel-core==$MIN_CORE"
-          HEGEL_SERVER_COMMAND=$(which hegel) just check-tests
+          # Skip antithesis tests: they spawn subprocess projects that inherit
+          # HEGEL_SERVER_COMMAND and the old server doesn't support them.
+          HEGEL_SERVER_COMMAND=$(which hegel) RUST_BACKTRACE=1 cargo test -- --skip test_antithesis
 
   docs:
     name: docs