Paul Pan Paul
  • Joined on 2023-01-05
Paul pushed to develop at woj/woj-server 2024-01-28 21:39:31 +08:00
0dc241b63c chore: bump next version
Paul pushed tag v1.3.0 to woj/woj-server 2024-01-28 21:37:02 +08:00
Paul pushed to master at woj/woj-server 2024-01-28 21:36:52 +08:00
6cd6e94170 Merge branch 'develop' version 1.3.0
caaccd6e30 release: 1.3.0
170cdd1898 chore: update deps
6e22df8dda chore: update Dockerfile: sync with frontend changes
23f6012f8c fix: add missing volumes in docker-compose.yml
Compare 25 commits »
Paul pushed to develop at woj/woj-server 2024-01-28 21:36:41 +08:00
caaccd6e30 release: 1.3.0
170cdd1898 chore: update deps
Compare 2 commits »
Paul pushed to develop at woj/woj-server 2024-01-28 21:25:16 +08:00
6e22df8dda chore: update Dockerfile: sync with frontend changes
23f6012f8c fix: add missing volumes in docker-compose.yml
Compare 2 commits »
Paul pushed to master at woj/woj-ui 2024-01-28 21:24:17 +08:00
55d8dee557 chore: mute rollup warnings
Paul pushed to master at woj/woj-ui 2024-01-28 21:07:11 +08:00
e1182a64e4 feat: adapt to server 1.3.0 API change
Paul closed issue woj/woj-server#7 2024-01-28 18:17:09 +08:00
更加精细化的问题/资源配置
Paul pushed to develop at woj/woj-server 2024-01-28 18:16:24 +08:00
6965435cb7 feat: compile and new_problem are queued by pool (#7)
8429988cb4 fix: Prebuild should be independent of Languages
Compare 2 commits »
Paul pushed to develop at woj/woj-server 2024-01-27 23:07:46 +08:00
83d3913ba7 feat: support more detailed problem config (#7)
bda209f794 chore: upgrade problem and ubuntu-full to next version
Compare 2 commits »
Paul opened issue woj/woj-server#8 2024-01-27 21:21:59 +08:00
更多语言支持
Paul opened issue woj/woj-server#7 2024-01-27 20:58:13 +08:00
更加精细化的问题/资源配置
Paul closed issue woj/woj-server#6 2024-01-27 20:56:16 +08:00
Runner 运行时重构
Paul pushed to develop at woj/woj-server 2024-01-27 20:40:43 +08:00
025c88ca6b fix: drop openrc in runner images: missing pids in cgroups setup
Paul pushed to develop at woj/woj-server 2024-01-27 20:19:54 +08:00
7810024994 fix: drop openrc in runner images: missing pids in cgroups setup
362b5ea9ba chore: update docker scripts
Compare 2 commits »
Paul pushed to develop at woj/woj-server 2024-01-27 17:40:17 +08:00
b5bedddf94 feat: use containerd as backend
Paul pushed to develop at woj/woj-server 2024-01-27 17:37:54 +08:00
182cb5058a feat: use containerd as backend
Paul pushed to master at woj/woj-sandbox 2024-01-27 16:25:48 +08:00
57669b670c chore: adjust killer timeout
Paul pushed to try/new_model at NSCSCC/MIPS 2024-01-23 17:57:02 +08:00
d2842e7a16 switch to new model
Paul created branch try/new_model in NSCSCC/MIPS 2024-01-23 17:57:02 +08:00