Skip to content

Actions: DOMjudge/domjudge

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
19,531 workflow run results
19,531 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CodeQL CodeQL #6210: Merge group checks requested
6m 15s
6m 15s
Webstandard (WCAG, W3C) Webstandard (WCAG, W3C) #1756: Merge group checks requested
9m 34s
9m 34s
Run integration tests Run integration tests #1387: Merge group checks requested
12m 9s
12m 9s
Unit tests Unit tests #4653: Merge group checks requested
16m 56s
16m 56s
PHP CodeSniffer PHP CodeSniffer #5279: Merge group checks requested
15s
15s
Run PHPStan Run PHPStan #3356: Merge group checks requested
55s
55s
Spell Check Spell Check #5973: Merge group checks requested
41s
41s
Publish unit test results Publish unit test results #722: completed by Kevinjil
13s
13s
Change diff mode selection to radio button Webstandard (WCAG, W3C) #1755: Pull request #3095 opened by Kevinjil
5m 10s Kevinjil:diff-mode-radio
Kevinjil:diff-mode-radio
5m 10s
Change diff mode selection to radio button Unit tests #4652: Pull request #3095 opened by Kevinjil
15m 15s Kevinjil:diff-mode-radio
Kevinjil:diff-mode-radio
15m 15s
Change diff mode selection to radio button PHP CodeSniffer #5278: Pull request #3095 opened by Kevinjil
17s Kevinjil:diff-mode-radio
Kevinjil:diff-mode-radio
17s
Change diff mode selection to radio button Run PHPStan #3355: Pull request #3095 opened by Kevinjil
1m 10s Kevinjil:diff-mode-radio
Kevinjil:diff-mode-radio
1m 10s
Change diff mode selection to radio button Spell Check #5972: Pull request #3095 opened by Kevinjil
1m 10s Kevinjil:diff-mode-radio
Kevinjil:diff-mode-radio
1m 10s
Change diff mode selection to radio button Codestandard #4646: Pull request #3095 opened by Kevinjil
2m 48s Kevinjil:diff-mode-radio
Kevinjil:diff-mode-radio
2m 48s
Change diff mode selection to radio button Run runpipe and runguard tests #2506: Pull request #3095 opened by Kevinjil
2m 53s Kevinjil:diff-mode-radio
Kevinjil:diff-mode-radio
2m 53s
Change diff mode selection to radio button Check autoconf (Other distros) #3229: Pull request #3095 opened by Kevinjil
3m 24s Kevinjil:diff-mode-radio
Kevinjil:diff-mode-radio
3m 24s
Change diff mode selection to radio button Check autoconf #3338: Pull request #3095 opened by Kevinjil
3m 12s Kevinjil:diff-mode-radio
Kevinjil:diff-mode-radio
3m 12s
Change diff mode selection to radio button CodeQL #6209: Pull request #3095 opened by Kevinjil
3m 37s Kevinjil:diff-mode-radio
Kevinjil:diff-mode-radio
3m 37s
Change diff mode selection to radio button Database Upgrade Test #1310: Pull request #3095 opened by Kevinjil
3m 44s Kevinjil:diff-mode-radio
Kevinjil:diff-mode-radio
3m 44s
Change diff mode selection to radio button Chroot checks #1515: Pull request #3095 opened by Kevinjil
4m 20s Kevinjil:diff-mode-radio
Kevinjil:diff-mode-radio
4m 20s
Change diff mode selection to radio button Run integration tests #1386: Pull request #3095 opened by Kevinjil
11m 15s Kevinjil:diff-mode-radio
Kevinjil:diff-mode-radio
11m 15s
Switch bucket size for problem analysis Chroot checks #1514: Commit 6573249 pushed by github-merge-queue bot
4m 17s main
main
4m 17s
Publish unit test results Publish unit test results #721: completed by Kevinjil
17s
17s
Check autoconf Check autoconf #3337: Merge group checks requested
6m 28s
6m 28s
Webstandard (WCAG, W3C) Webstandard (WCAG, W3C) #1754: Merge group checks requested
9m 24s
9m 24s