Skip to content

Actions: DOMjudge/domjudge

Actions

Run PHPStan

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
phpstan.yml
1,678 workflow runs
1,678 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Basic implementation of partial scoring. Run PHPStan #3187: Pull request #3047 synchronize by meisterT
August 3, 2025 16:41 1m 6s meisterT:partial_scoring
meisterT:partial_scoring
August 3, 2025 16:41 1m 6s
Basic implementation of partial scoring. Run PHPStan #3186: Pull request #3047 opened by meisterT
August 3, 2025 12:19 49s meisterT:partial_scoring
meisterT:partial_scoring
August 3, 2025 12:19 49s
Maintainer fedora Run PHPStan #3185: Pull request #3046 synchronize by vmcj
August 2, 2025 16:53 1m 17s vmcj:maintainer_fedora
vmcj:maintainer_fedora
August 2, 2025 16:53 1m 17s
Maintainer fedora Run PHPStan #3184: Pull request #3046 opened by vmcj
August 2, 2025 13:13 1m 4s vmcj:maintainer_fedora
vmcj:maintainer_fedora
August 2, 2025 13:13 1m 4s
Explicit handle ignoring the return code for failed error messages Run PHPStan #3183: Pull request #3045 opened by vmcj
August 2, 2025 12:30 55s vmcj:compilation_warning_runguard
vmcj:compilation_warning_runguard
August 2, 2025 12:30 55s
Run PHPStan Run PHPStan #3182: Merge group checks requested
August 2, 2025 10:41 1m 54s
August 2, 2025 10:41 1m 54s
Add a basic visualization for the scoring scoreboard type. Run PHPStan #3181: Pull request #3010 synchronize by meisterT
August 2, 2025 10:27 1m 0s meisterT:scoringppp
meisterT:scoringppp
August 2, 2025 10:27 1m 0s
Run PHPStan Run PHPStan #3180: Merge group checks requested
August 2, 2025 10:05 3m 25s
August 2, 2025 10:05 3m 25s
Improve cgroup error message when not configured correctly. Run PHPStan #3179: Pull request #3044 synchronize by meisterT
August 2, 2025 08:31 2m 13s meisterT:cgroupns
meisterT:cgroupns
August 2, 2025 08:31 2m 13s
Run PHPStan Run PHPStan #3178: Merge group checks requested
August 2, 2025 08:25 3m 55s
August 2, 2025 08:25 3m 55s
Improve cgroup error message when not configured correctly. Run PHPStan #3177: Pull request #3044 synchronize by meisterT
August 2, 2025 08:22 1m 0s meisterT:cgroupns
meisterT:cgroupns
August 2, 2025 08:22 1m 0s
Improve cgroup error message when not configured correctly. Run PHPStan #3176: Pull request #3044 opened by meisterT
August 2, 2025 08:14 1m 0s meisterT:cgroupns
meisterT:cgroupns
August 2, 2025 08:14 1m 0s
Add category types and allow teams to be in more than one category Run PHPStan #3175: Pull request #3043 synchronize by nickygerritsen
August 1, 2025 19:04 58s multiple-categories
multiple-categories
August 1, 2025 19:04 58s
Add category types and allow teams to be in more than one category Run PHPStan #3174: Pull request #3043 opened by nickygerritsen
August 1, 2025 18:50 1m 1s multiple-categories
multiple-categories
August 1, 2025 18:50 1m 1s
Minor improvements to async judgetask reporting. Run PHPStan #3173: Pull request #3042 opened by meisterT
July 26, 2025 12:20 54s meisterT:jtfail
meisterT:jtfail
July 26, 2025 12:20 54s
Changes for the 2025 draft CCS spec Run PHPStan #3172: Pull request #3041 synchronize by nickygerritsen
July 20, 2025 18:12 53s nickygerritsen:new-api-format
nickygerritsen:new-api-format
July 20, 2025 18:12 53s
Changes for the 2025 draft CCS spec Run PHPStan #3171: Pull request #3041 synchronize by nickygerritsen
July 20, 2025 17:57 53s nickygerritsen:new-api-format
nickygerritsen:new-api-format
July 20, 2025 17:57 53s
Changes for the 2025 draft CCS spec Run PHPStan #3170: Pull request #3041 opened by nickygerritsen
July 20, 2025 17:52 52s nickygerritsen:new-api-format
nickygerritsen:new-api-format
July 20, 2025 17:52 52s
Fix user add and update api endpoints Run PHPStan #3169: Pull request #3040 opened by LuukBlankenstijn
July 20, 2025 10:04 48s LuukBlankenstijn:fix/api-fixes
LuukBlankenstijn:fix/api-fixes
July 20, 2025 10:04 48s
Add contest export script Run PHPStan #3168: Pull request #3039 synchronize by eldering
July 15, 2025 21:01 50s add-contest-export
add-contest-export
July 15, 2025 21:01 50s
Add contest export script Run PHPStan #3167: Pull request #3039 synchronize by eldering
July 15, 2025 19:39 1m 14s add-contest-export
add-contest-export
July 15, 2025 19:39 1m 14s
Add contest export script Run PHPStan #3166: Pull request #3039 opened by eldering
July 15, 2025 19:35 54s add-contest-export
add-contest-export
July 15, 2025 19:35 54s
Run PHPStan Run PHPStan #3165: Merge group checks requested
July 15, 2025 11:23 57s
July 15, 2025 11:23 57s
Fixes to API access endpoint and update some exposed properties Run PHPStan #3164: Pull request #3038 synchronize by eldering
July 14, 2025 17:34 1m 11s fix-api-access-endpoint
fix-api-access-endpoint
July 14, 2025 17:34 1m 11s
Fixes to API access endpoint and update some exposed properties Run PHPStan #3163: Pull request #3038 synchronize by eldering
July 13, 2025 13:52 59s fix-api-access-endpoint
fix-api-access-endpoint
July 13, 2025 13:52 59s