Skip to content

fix(ci): unblock fork PR autograder checkout - #10

Merged
lassebenni merged 1 commit into
mainfrom
fix/unblock-autograder-checkout
Jul 24, 2026
Merged

fix(ci): unblock fork PR autograder checkout#10
lassebenni merged 1 commit into
mainfrom
fix/unblock-autograder-checkout

Commits

Commits on Jul 24, 2026