Skip to content

Minor polish - use NamedTemporaryFile for temp file creation - #498

Merged
pehrsoderman merged 1 commit into
Kattis:masterfrom
gkreitz:polish_tempfile_creation
Oct 10, 2026
Merged

pehrsoderman merged 1 commit into
Kattis:masterfrom
gkreitz:polish_tempfile_creation

Minor polish - use NamedTemporaryFile for temp file creation

948a802
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
packages
succeeded Oct 9, 2026 in 2m 49s