Make cachix builds from CI/CD match CLI/flake inputs - Part 2, considering kevm-pyk as well#2745

automergerpr-permission-manager[bot] merged 2 commits into

masterruntimeverification/evm-semantics:masterfrom

cachix-build-matching-kevm-pykruntimeverification/evm-semantics:cachix-build-matching-kevm-pykCopy head branch name to clipboard