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 /default.nix | |
| 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 'default.nix')
0 files changed, 0 insertions, 0 deletions