ci(actions): pin downstream plugin cmake below v4

Author: Stevengre

.github/actions/downstream-perf-suite/action.yml

@@ -40,10 +40,10 @@ runs:
         name: k-framework
         skipPush: true
 
-    - name: 'Install uv'
+    - name: 'Install uv and cmake3'
       shell: bash
       run: |
-        python3 -m pip install --user uv
+        python3 -m pip install --user uv "cmake<4"
         echo "$HOME/.local/bin" >> "$GITHUB_PATH"
 
     - name: 'Run suite'

scripts/performance-tests-kevm.sh

@@ -108,7 +108,7 @@ set -- "${POSITIONAL_ARGS[@]}" # restore positional parameters
 # kompile evm-semantics or skip kompilation if using an existing TEMPD
 if [[ $FRESH_TEMPD -gt 0 ]]; then
     # Ensure plugin build prerequisites are available on self-hosted runners.
-    feature_shell "nix shell github:runtimeverification/k/v$(cat "$SCRIPT_DIR/../deps/k_release")#k nixpkgs#cmake nixpkgs#clang --command bash -c 'make kevm-pyk && uv --project kevm-pyk run -- kdist --verbose build evm-semantics.plugin evm-semantics.haskell --jobs 4'"
+    feature_shell "export PATH=\"\$HOME/.local/bin:\$PATH\"; nix shell github:runtimeverification/k/v$(cat "$SCRIPT_DIR/../deps/k_release")#k nixpkgs#clang --command bash -c 'make kevm-pyk && uv --project kevm-pyk run -- kdist --verbose build evm-semantics.plugin evm-semantics.haskell --jobs 4'"
 fi
 
 # kompile all verification K definitions and specs

scripts/performance-tests-kontrol.sh

@@ -116,7 +116,7 @@ master_shell() {
 
 # kompile Kontrol's K dependencies
 # Ensure plugin build prerequisites are available on self-hosted runners.
-feature_shell "nix shell github:runtimeverification/k/v$(cat "$SCRIPT_DIR/../deps/k_release")#k nixpkgs#cmake nixpkgs#clang --command bash -c 'uv run kdist --verbose build evm-semantics.plugin evm-semantics.haskell kontrol.* --jobs 4'"
+feature_shell "export PATH=\"\$HOME/.local/bin:\$PATH\"; nix shell github:runtimeverification/k/v$(cat "$SCRIPT_DIR/../deps/k_release")#k nixpkgs#clang --command bash -c 'uv run kdist --verbose build evm-semantics.plugin evm-semantics.haskell kontrol.* --jobs 4'"
 
 # kompile the test contracts, to be reused in feature_shell and master_shell. Copy the result from pytest's temp directory
 PYTEST_TEMP_DIR=$TEMPD/pytest-temp-dir