|
|
79058c2a17
|
[sandbox] Update dockerfile and deps
|
2023-09-05 18:10:03 -04:00 |
|
|
|
711573cd20
|
[sandbox] Formatting and scripts
|
2023-08-26 13:46:59 -04:00 |
|
|
|
75cd971a3b
|
Update sandbox deps
|
2023-08-23 22:07:32 -04:00 |
|
|
|
97b8f6028a
|
[sandbox] Terminate after 30 seconds
|
2023-05-09 17:19:19 -04:00 |
|
|
|
149037cf7d
|
[sandbox] Catch run errors and fetch more often
|
2023-05-09 16:51:43 -04:00 |
|
|
|
36a8050a4b
|
[sandbox] Add docker files
|
2023-05-09 16:06:19 -04:00 |
|
|
|
5280a25d4d
|
[sandbox] Catch failed fetch
|
2023-05-08 21:21:14 -04:00 |
|
|
|
51ff743d98
|
[web] Handle auto grading submissions
|
2023-05-08 13:58:47 -04:00 |
|
|
|
008d93704d
|
[sandbox] Initial sandbox
|
2023-05-07 19:00:55 -04:00 |
|
