diff options
author | Philipp Herzog | 2022-11-14 20:23:26 +0100 |
---|---|---|
committer | GitHub | 2022-11-14 20:23:26 +0100 |
commit | be40823735bbdc40c1f6b7725c8b74d5a85d8023 (patch) | |
tree | c5009b46089352d78cc5b28288c63a6f28203f94 /src/cli.rs | |
parent | b011f13bc577b978f52aaefde5605332f7bca7e9 (diff) | |
parent | 38d9005a7334d45749dcfecb924f7ff1444e8699 (diff) |
Merge pull request #182 from serokell/philtaken/checks-unique-names
More unique names for the checks generated by deploy-rs
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions