New problem format adds "default" include files (which get included for any language), which is a nice feature https://www.kattis.com/problem-package-format/spec/2025-09.html#included-files. In #443 we parse and check these, but do not actually use them for submissions. Adding this issue to remember to fix that (likely after vacation).
Would also be nice to allow default include files in legacy, cf. Kattis/problem-package-format#585.
New problem format adds "default" include files (which get included for any language), which is a nice feature https://www.kattis.com/problem-package-format/spec/2025-09.html#included-files. In #443 we parse and check these, but do not actually use them for submissions. Adding this issue to remember to fix that (likely after vacation).
Would also be nice to allow default include files in legacy, cf. Kattis/problem-package-format#585.