Make cachix builds from CI/CD match CLI/flake inputs#2739

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

masterruntimeverification/evm-semantics:masterfrom

cachix-build-matchingruntimeverification/evm-semantics:cachix-build-matchingCopy head branch name to clipboard