|
5f79dd4f8b
|
[sandbox] Update deps
|
2023-10-02 13:28:52 -04:00 |
|
|
047e0fb143
|
Add READMEs
|
2023-09-14 11:16:11 -04:00 |
|
|
ff213b2bcd
|
[sandbox] Update deps
|
2023-09-10 14:18:33 -04:00 |
|
|
1c8ca53e45
|
[sandbox] Use env file for docker compose
|
2023-09-07 13:19:10 -04:00 |
|
|
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 |
|