Skip to content

Pull requests: Kattis/problemtools

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Change Rust compilation flags
#281 opened Nov 11, 2024 by Matistjati Loading…
Markdown support
#274 opened Aug 17, 2024 by Matistjati Draft
Don't propagate JE on empty test groups
#176 opened Jul 1, 2020 by tyilo Loading…
Show some output validator feedback
#140 opened Oct 21, 2019 by thorehusfeldt Loading…
ProTip! Exclude everything labeled bug with -label:bug.