Build KEVM once per architecture in release, populate both nix caches from it - #2860

Build KEVM once per architecture in release, populate both nix caches from it#2860

automergerpr-permission-manager[bot] merged 1 commit into

masterruntimeverification/evm-semantics:masterfrom

nix-optimizationruntimeverification/evm-semantics:nix-optimizationCopy head branch name to clipboard