Skip to content

Rebuild as a general coding environment with diff-based grading#14

Draft
jdchawla29 wants to merge 2 commits into
mainfrom
v6-coding-env
Draft

Rebuild as a general coding environment with diff-based grading#14
jdchawla29 wants to merge 2 commits into
mainfrom
v6-coding-env

Adopt hud 0.6.11: Workspace shell_uid replaces the hand-rolled uid wall

e26e136
Select commit
Loading
Failed to load commit list.

There are no checks for this commit