Skip to content

Clean-up: Fix everything flagged by ruff check, and a few other small fixes#303

Merged
pehrsoderman merged 9 commits into
Kattis:developfrom
gkreitz:ruff_and_other_misc_fixes
May 9, 2025
Merged

Clean-up: Fix everything flagged by ruff check, and a few other small fixes#303
pehrsoderman merged 9 commits into
Kattis:developfrom
gkreitz:ruff_and_other_misc_fixes

Conversation

@gkreitz
Copy link
Copy Markdown
Contributor

@gkreitz gkreitz commented May 9, 2025

This PR adds a ruff configuration, and fixes everything flagged by a run of ruff check. I also cleaned up a few small things I spotted while fixing the things ruff flagged.

Fixes problem statement rendering being broken if listingsutf8 was used in the tex file.

Makes a minor modification of what is exported from problemtools.run. I doubt anyone is using that module as an API (but please do let me know if that's the case).

Progress on #249

@gkreitz gkreitz mentioned this pull request May 9, 2025
@pehrsoderman pehrsoderman merged commit 53eb05c into Kattis:develop May 9, 2025
4 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