Skip to content

Actions: ia-toki/judgels

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
658 workflow runs
658 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: add more seeds ci #400: Commit 1d6c998 pushed by fushar
October 19, 2023 13:58 25s new-seeds
new-seeds
October 19, 2023 13:58 25s
chore: add more seeds ci #399: Commit 17e386f pushed by fushar
October 19, 2023 13:54 1m 15s new-seeds
new-seeds
October 19, 2023 13:54 1m 15s
feat: handle upload zip with directories ci #398: Pull request #537 opened by kadeksuryam
October 19, 2023 06:56 5m 45s kadeksuryam:master
kadeksuryam:master
October 19, 2023 06:56 5m 45s
chore(problem): change default memory limit to 256 MB (#536) ci #397: Commit c8c3209 pushed by fushar
October 18, 2023 12:25 16m 22s master
master
October 18, 2023 12:25 16m 22s
chore(problem): change default memory limit to 256 MB ci #396: Pull request #536 synchronize by kadeksuryam
October 18, 2023 11:32 4m 29s kadeksuryam:master
kadeksuryam:master
October 18, 2023 11:32 4m 29s
chore(problem): change default memory limit to 256 MB ci #395: Pull request #536 opened by kadeksuryam
October 18, 2023 02:30 5m 52s kadeksuryam:master
kadeksuryam:master
October 18, 2023 02:30 5m 52s
doc: add tutorial for custom ssh key (#473) ci #394: Commit c438f10 pushed by fushar
October 17, 2023 02:12 1m 29s master
master
October 17, 2023 02:12 1m 29s
doc: add tutorial for custom ssh key ci #393: Pull request #473 synchronize by atnanahidiw
October 17, 2023 01:32 7m 50s doc/update-installation-ansible-ssh-key
doc/update-installation-ansible-ssh-key
October 17, 2023 01:32 7m 50s
doc: add tutorial for custom ssh key ci #392: Pull request #473 synchronize by atnanahidiw
October 17, 2023 01:29 7m 45s doc/update-installation-ansible-ssh-key
doc/update-installation-ansible-ssh-key
October 17, 2023 01:29 7m 45s
fix(client): correctly decode unicode chars in submission details (#533) ci #391: Commit a685692 pushed by fushar
October 16, 2023 14:56 8m 20s master
master
October 16, 2023 14:56 8m 20s
fix(client): correctly decode unicode chars in submission details ci #390: Pull request #533 opened by fushar
October 16, 2023 14:51 4m 13s fix-charset-submission
fix-charset-submission
October 16, 2023 14:51 4m 13s
fix(client): correctly decode unicode chars in submission details ci #389: Commit 185355d pushed by fushar
October 16, 2023 14:51 3m 10s fix-charset-submission
fix-charset-submission
October 16, 2023 14:51 3m 10s
fix(server): correctly set output encoding to UTF-8 (#532) ci #388: Commit e598242 pushed by fushar
October 16, 2023 14:41 6m 24s master
master
October 16, 2023 14:41 6m 24s
fix(server): correctly set output encoding to UTF-8 ci #387: Pull request #532 opened by fushar
October 16, 2023 14:31 3m 55s fix-charset
fix-charset
October 16, 2023 14:31 3m 55s
fix(server): correctly set output encoding to UTF-8 ci #386: Commit a267ef2 pushed by fushar
October 16, 2023 14:30 4m 9s fix-charset
fix-charset
October 16, 2023 14:30 4m 9s
Revert "fix(server): allow unicode characters when updating statement… ci #385: Commit f881d27 pushed by fushar
October 16, 2023 14:28 7m 53s master
master
October 16, 2023 14:28 7m 53s
fix(server): allow unicode characters when updating statement from so… ci #384: Commit fa91487 pushed by fushar
October 16, 2023 13:44 6m 8s master
master
October 16, 2023 13:44 6m 8s
fix(server): allow unicode characters when updating statement from source ci #383: Pull request #531 synchronize by fushar
October 16, 2023 13:36 3m 11s statement-charset
statement-charset
October 16, 2023 13:36 3m 11s
fix(server): allow unicode characters when updating statement from so… ci #382: Commit d140dba pushed by fushar
October 16, 2023 13:36 3m 16s statement-charset
statement-charset
October 16, 2023 13:36 3m 16s
fix(server): allow unicode characters when updating statement from source ci #381: Pull request #531 synchronize by fushar
October 16, 2023 13:16 3m 13s statement-charset
statement-charset
October 16, 2023 13:16 3m 13s
fix(server): allow unicode characters when updating statement from so… ci #380: Commit 04e9231 pushed by fushar
October 16, 2023 13:16 4m 17s statement-charset
statement-charset
October 16, 2023 13:16 4m 17s
fix(server): allow unicode characters when updating statement from source ci #379: Pull request #531 opened by fushar
October 16, 2023 11:17 4m 18s statement-charset
statement-charset
October 16, 2023 11:17 4m 18s
fix(server): allow unicode characters when updating statement from so… ci #378: Commit f546241 pushed by fushar
October 16, 2023 11:16 3m 10s statement-charset
statement-charset
October 16, 2023 11:16 3m 10s
fix(client): add more space before the 'Start first chapter' button ci #377: Commit 7f99c38 pushed by fushar
October 16, 2023 09:34 8m 44s master
master
October 16, 2023 09:34 8m 44s
feat(server): show notice in admin login to reset password when regis… ci #376: Commit dbca4d0 pushed by fushar
October 16, 2023 09:32 8m 0s master
master
October 16, 2023 09:32 8m 0s
ProTip! You can narrow down the results and go further in time using created:<2023-10-16 or the other filters available.