Use string criterion for name (#3788)

This commit is contained in:
WithoutPants 2023-05-31 11:42:28 +10:00 committed by GitHub
parent 74cef93d19
commit 94450da8b5
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -66,6 +66,9 @@ export function makeCriteria(
case "none":
return new NoneCriterion();
case "name":
return new StringCriterion(
new MandatoryStringCriterionOption(type, type)
);
case "path":
return new StringCriterion(new PathCriterionOption(type, type));
case "checksum":