.github/workflows/release.yml: merge nix-cache and nix-binary-cache steps#1086

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

masterruntimeverification/mir-semantics:masterfrom

nix-optimruntimeverification/mir-semantics:nix-optimCopy head branch name to clipboard