Skip to content

ci: pin the grader to a stable branch name - #19

Merged
lassebenni merged 1 commit into
mainfrom
fix/pin-grader-to-stable-branch
Aug 2, 2026
Merged

ci: pin the grader to a stable branch name#19
lassebenni merged 1 commit into
mainfrom
fix/pin-grader-to-stable-branch

ci: pin the grader to a stable branch name

053114b
Select commit
Loading
Failed to load commit list.