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

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

masterruntimeverification/komet:masterfrom

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