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

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

developruntimeverification/k:developfrom

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