Paul Pan

Paul synced commits to dev at Paul/tiny_os from mirror 2024-03-24 01:20:39 +08:00

c3d59bc9a4 feat: provide infrastructure for TLS

Paul synced commits to dev at Paul/tiny_os from mirror 2024-03-23 17:16:35 +08:00

c210a049cd chore: move mm into vspace

ac4a9bf6ec feat: add lib/cpio

Compare 2 commits »

Paul synced commits to dev at Paul/tiny_os from mirror 2024-03-20 23:56:36 +08:00

daf96a0c64 feat: drop legacy flags for riscv-sbi

dd5325db2a fix: add missing bound for KernelObject

ee6166c657 feat: add initial caps

f11e3781d3 chore: cleanup

b5d4e419c4 feat: add ObjectType definitions

Compare 37 commits »

Paul pushed to develop at woj/woj-server

2024-03-18 18:56:47 +08:00

a0d2b7b2eb fix: runner/nsjail: map some /dev/ devices into sandbox

Paul pushed to master at woj/woj-ui-2

2024-03-18 14:49:16 +08:00

a7959b38d5 feat: auto refresh on StatusPage

Paul pushed to develop at woj/woj-server

2024-03-17 15:53:01 +08:00

f026300e4f chore: always pull woj-ui before building server image

Paul pushed to master at woj/woj-ui-2

2024-03-17 15:49:03 +08:00

1768384ce5 fix: unwrap to throw error

Paul pushed to master at woj/woj-ui-2

2024-03-17 13:42:51 +08:00

ffd21e62c9 feat: add action workflows

Paul pushed to master at woj/woj-ui-2

2024-03-17 13:38:30 +08:00

f573150b00 feat: add action workflows

Paul pushed to master at woj/woj-ui-2

2024-03-17 13:32:53 +08:00

8f7701ec3d feat: add action workflows

2f9d63249a feat: add sentry sourcemap upload

e5f94f9219 feat: add sentry

Compare 3 commits »

Paul pushed to master at woj/woj-ui-2

2024-03-17 12:29:12 +08:00

3e3425b2c6 feat: allow to jump to problem on ProblemInfoMenu

ab995acf00 feat: add refresh button on SubmissionTable

d62ae02b24 feat: adjust box width

Compare 3 commits »

Paul pushed to master at woj/woj-ui-2

2024-03-16 22:51:23 +08:00

456ba7e05d chore: add .dockerignore

c114660b9f feat: add simple nav menu

Compare 2 commits »

Paul pushed to master at woj/woj-ui-2

2024-03-16 22:27:39 +08:00

68199bd7ef feat: add build script and sync version with woj-server

17c0cc5cb5 feat: add line number to Highlight

Compare 2 commits »

Paul pushed to develop at woj/woj-server

2024-03-16 22:24:26 +08:00

6a28761e73 fix: api/user/profile: logged in users are able to get user profile

Paul pushed to master at woj/woj-ui-2

2024-03-16 22:08:38 +08:00

7b7af1e802 fix: don't show -1 as point

Paul pushed to master at woj/woj-ui-2

2024-03-16 22:07:15 +08:00

a75881c877 feat: add ProfilePage

57b62c335a chore: remove debug log

e311719239 fix: do not purge login info when querying other's profile

3f3a75f507 feat: add StatusPage

32d96207b9 chore: adjust ProblemInfoMenu width

Compare 12 commits »

Paul pushed to develop at woj/woj-server

2024-03-16 21:38:02 +08:00

3cfa0938e6 fix: compile: return correct JudgeStatus when compile failed

7538737629 chore: update deps

Compare 2 commits »

Paul pushed to master at woj/woj-ui-2

2024-03-16 18:46:28 +08:00

9274b3314d feat: add SubmitPage

0be3286bb3 chore: delete template files

Compare 2 commits »

Paul pushed to master at woj/woj-ui-2

2024-03-16 17:23:51 +08:00

ac8e3ab972 fix: revoke local token when profile query failed

cd858cd602 chore: split package

7764f7ca33 chore: update deps

afbf796208 feat: add ProblemDetailPage

df7f87d6bf fix: svg math symbols are not inlined

Compare 6 commits »

Paul pushed to master at woj/woj-ui-2

2024-03-16 00:57:06 +08:00

5a5f7bdbbd chore: adjust layout width

d58aa4ba6e feat: add ProblemListPage

43f5423cf9 feat: add pagination table

9dfe9bfe81 feat: add basic problem api

Compare 4 commits »