Skip to content

Actions: DOMjudge/domjudge-scripts

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
267 workflow runs
267 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
Use DOMjudge API to fetch images and team names for domlogo Shellcheck #391: Pull request #101 synchronize by nickygerritsen
October 4, 2023 10:35 16s
October 4, 2023 10:35 16s
Use DOMjudge API to fetch images and team names for domlogo Shellcheck #390: Commit e48d00e pushed by nickygerritsen
October 4, 2023 10:35 20s domlogo-using-api
domlogo-using-api
October 4, 2023 10:35 20s
Use DOMjudge API to fetch images and team names for domlogo Shellcheck #389: Pull request #101 opened by nickygerritsen
October 3, 2023 20:26 19s
October 3, 2023 20:26 19s
Use DOMjudge API to fetch images and team names for domlogo Shellcheck #388: Commit a356c53 pushed by nickygerritsen
October 3, 2023 20:26 15s domlogo-using-api
domlogo-using-api
October 3, 2023 20:26 15s
Extend key with physical_package_id (#100) Shellcheck #387: Commit 313916e pushed by tuupke
October 1, 2023 20:40 18s main
main
October 1, 2023 20:40 18s
Extend key with physical_package_id Shellcheck #386: Pull request #100 synchronize by tuupke
September 30, 2023 14:31 19s
September 30, 2023 14:31 19s
Adds comment explaining key construction Shellcheck #385: Commit 500c664 pushed by tuupke
September 30, 2023 14:31 14s improved-multi-cpu-turboboost-disable
improved-multi-cpu-turboboost-disable
September 30, 2023 14:31 14s
Extend key with physical_package_id Shellcheck #384: Pull request #100 opened by tuupke
September 28, 2023 19:55 14s
September 28, 2023 19:55 14s
Extend key with physical_package_id Shellcheck #383: Commit 06df5da pushed by tuupke
September 28, 2023 19:50 14s improved-multi-cpu-turboboost-disable
improved-multi-cpu-turboboost-disable
September 28, 2023 19:50 14s
Merge showhost into domlogo. (#99) Shellcheck #382: Commit 3036725 pushed by meisterT
September 23, 2023 13:53 15s main
main
September 23, 2023 13:53 15s
Merge showhost into domlogo. Shellcheck #381: Pull request #99 opened by meisterT
September 23, 2023 09:47 19s
September 23, 2023 09:47 19s
Merge showhost into domlogo. Shellcheck #380: Commit 07ad9a9 pushed by meisterT
September 23, 2023 09:47 19s mergeshowhost
mergeshowhost
September 23, 2023 09:47 19s
ProTip! You can narrow down the results and go further in time using created:<2023-09-23 or the other filters available.