Skip to content

Start refactoring to model + checks modules (by adding checks for include files) - #443

Merged
pehrsoderman merged 4 commits into
Kattis:masterfrom
gkreitz:include_files_fixes
Jul 30, 2026
Merged

Start refactoring to model + checks modules (by adding checks for include files)#443
pehrsoderman merged 4 commits into
Kattis:masterfrom
gkreitz:include_files_fixes

Run new checks for include files in verifyproblem

b99ac59
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
packages
succeeded Jul 16, 2026 in 3m 18s