Skip to content

Actions: DOMjudge/domjudge

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
24,657 workflow run results
24,657 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add missing deletion count
Chroot checks #2004: Commit 05fc17a pushed by github-merge-queue bot
4m 19s main
Publish unit test results
Publish unit test results #1122: completed by Kevinjil
15s
PHP CodeSniffer
PHP CodeSniffer #5678: Merge group checks requested
16s
Spell Check
Spell Check #6372: Merge group checks requested
36s
Run PHPStan
Run PHPStan #3755: Merge group checks requested
54s
SL Scan
SL Scan #3300: Merge group checks requested
1m 9s
Run compare.cc tests
Run compare.cc tests #84: Merge group checks requested
1m 25s
Run runpipe and runguard tests
Run runpipe and runguard tests #2905: Merge group checks requested
2m 46s
CodeQL
CodeQL #6609: Merge group checks requested
3m 17s
Database Upgrade Test
Database Upgrade Test #1709: Merge group checks requested
2m 43s
Codestandard
Codestandard #5046: Merge group checks requested
3m 35s
Check autoconf (Other distros)
Check autoconf (Other distros) #3629: Merge group checks requested
6m 1s
Check autoconf
Check autoconf #3738: Merge group checks requested
6m 33s
Webstandard (WCAG, W3C)
Webstandard (WCAG, W3C) #2154: Merge group checks requested
11m 52s
Run integration tests
Run integration tests #1785: Merge group checks requested
11m 42s
Unit tests
Unit tests #5052: Merge group checks requested
14m 45s
Publish unit test results
Publish unit test results #1121: completed by Kevinjil
17s
Publish unit test results
Publish unit test results #1120: completed by meisterT
18s