Skip to content

Tone down warnings about unknown directories in package - #481

Merged
pehrsoderman merged 1 commit into
Kattis:masterfrom
gkreitz:tweak_directory_warnings
Aug 29, 2026
Merged

Tone down warnings about unknown directories in package#481
pehrsoderman merged 1 commit into
Kattis:masterfrom
gkreitz:tweak_directory_warnings

Conversation

@gkreitz

@gkreitz gkreitz commented Aug 29, 2026

Copy link
Copy Markdown
Contributor

@simonlindholm @Tagl @Matistjati thanks for the quick feedback in #479

This PR tweaks the rules, and should make this much less spammy. We now only warn for relatively close typos (and, of course, known renames and directories from other versions). We also do not check edit distance to directories which exist. So, for instance, if you only have old-submissions, we will give you a warning about that being a potential typo, but if the package also has submissions, then old_submissions generates no warning.

I think/hope this is enough to help less experienced problem setters to quickly catch incorrect directories (and for everyone to catch attachment), without getting in the way.

@pehrsoderman
pehrsoderman merged commit bb76dc1 into Kattis:master Aug 29, 2026
7 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants