Skip to content

Actions: DOMjudge/domjudge-scripts

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
238 workflow runs
238 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Less overwrites needed Shellcheck #404: Commit d0856a0 pushed by vmcj
October 23, 2023 13:29 18s wfsharm
wfsharm
October 23, 2023 13:29 18s
Since Dhaka the git is on the CDS machine Shellcheck #403: Commit 34508bd pushed by vmcj
October 23, 2023 12:28 15s main
main
October 23, 2023 12:28 15s
Since Dhaka the git is on the CDS machine Shellcheck #402: Pull request #106 opened by vmcj
October 23, 2023 11:49 17s
October 23, 2023 11:49 17s
Add needed contestzone groups Shellcheck #401: Commit 2198dbf pushed by vmcj
October 23, 2023 11:38 16s wfsharm
wfsharm
October 23, 2023 11:38 16s
Added analyst domserver & emergency laptops Shellcheck #400: Commit f94a606 pushed by vmcj
October 23, 2023 10:01 17s wfsharm
wfsharm
October 23, 2023 10:01 17s
DOMjudge 8.2.2 has been released Shellcheck #399: Commit e8db4b7 pushed by vmcj
October 20, 2023 13:19 25s main
main
October 20, 2023 13:19 25s
DOMjudge 8.2.2 has been released Shellcheck #398: Pull request #105 opened by vmcj
October 20, 2023 12:56 17s
October 20, 2023 12:56 17s
Small unloop Shellcheck #397: Commit 13f88dd pushed by vmcj
October 19, 2023 19:03 19s main
main
October 19, 2023 19:03 19s
Add SAN as example for reuse of certificates with different hosts Shellcheck #396: Pull request #104 opened by vmcj
October 16, 2023 18:27 16s
October 16, 2023 18:27 16s
Small unloop Shellcheck #395: Pull request #103 opened by vmcj
October 15, 2023 17:46 14s
October 15, 2023 17:46 14s
Fix wording Shellcheck #394: Commit 9b90de0 pushed by vmcj
October 14, 2023 21:50 12s main
main
October 14, 2023 21:50 12s
Fix wording Shellcheck #393: Pull request #102 opened by vmcj
October 14, 2023 15:22 14s
October 14, 2023 15:22 14s
Fix wording Shellcheck #392: Commit e10b29a pushed by vmcj
October 14, 2023 15:22 19s vmcj-patch-2
vmcj-patch-2
October 14, 2023 15:22 19s
ProTip! You can narrow down the results and go further in time using created:<2023-10-14 or the other filters available.