Skip to content

Actions: DOMjudge/domjudge

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,079 workflow run results
1,079 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Drastically speed up creating rejudgings by using direct queries Run runpipe and runguard tests #820: Pull request #2648 opened by nickygerritsen
August 12, 2024 16:15 1m 52s nickygerritsen:rejudging-create-use-direct-queries
nickygerritsen:rejudging-create-use-direct-queries
August 12, 2024 16:15 1m 52s
Drastically speed up creating rejudgings by using direct queries Check autoconf (Other distros) #1633: Pull request #2648 opened by nickygerritsen
August 12, 2024 16:15 3m 14s nickygerritsen:rejudging-create-use-direct-queries
nickygerritsen:rejudging-create-use-direct-queries
August 12, 2024 16:15 3m 14s
Drastically speed up creating rejudgings by using direct queries Check autoconf #1674: Pull request #2648 opened by nickygerritsen
August 12, 2024 16:15 3m 8s nickygerritsen:rejudging-create-use-direct-queries
nickygerritsen:rejudging-create-use-direct-queries
August 12, 2024 16:15 3m 8s
Drastically speed up creating rejudgings by using direct queries CodeQL #4528: Pull request #2648 opened by nickygerritsen
August 12, 2024 16:15 3m 25s nickygerritsen:rejudging-create-use-direct-queries
nickygerritsen:rejudging-create-use-direct-queries
August 12, 2024 16:15 3m 25s
Drastically speed up creating rejudgings by using direct queries Unit tests #2947: Pull request #2648 opened by nickygerritsen
August 12, 2024 16:15 14s nickygerritsen:rejudging-create-use-direct-queries
nickygerritsen:rejudging-create-use-direct-queries
August 12, 2024 16:15 14s
Drastically speed up creating rejudgings by using direct queries Webstandard (WCAG, W3C) #190: Pull request #2648 opened by nickygerritsen
August 12, 2024 16:15 2m 25s nickygerritsen:rejudging-create-use-direct-queries
nickygerritsen:rejudging-create-use-direct-queries
August 12, 2024 16:15 2m 25s
team didn't solve anything shouldn't get any medals Run PHPStan #1689: Commit ec5d9c5 pushed by github-merge-queue bot
August 11, 2024 14:03 57s main
main
August 11, 2024 14:03 57s
team didn't solve anything shouldn't get any medals Spell Check #4290: Commit ec5d9c5 pushed by github-merge-queue bot
August 11, 2024 14:03 19s main
main
August 11, 2024 14:03 19s
team didn't solve anything shouldn't get any medals Unit tests #2946: Commit ec5d9c5 pushed by github-merge-queue bot
August 11, 2024 14:03 17s main
main
August 11, 2024 14:03 17s
team didn't solve anything shouldn't get any medals PHP CodeSniffer #3596: Commit ec5d9c5 pushed by github-merge-queue bot
August 11, 2024 14:03 22s main
main
August 11, 2024 14:03 22s
team didn't solve anything shouldn't get any medals Codestandard #2964: Commit ec5d9c5 pushed by github-merge-queue bot
August 11, 2024 14:03 1m 42s main
main
August 11, 2024 14:03 1m 42s
team didn't solve anything shouldn't get any medals Webstandard (WCAG, W3C) #189: Commit ec5d9c5 pushed by github-merge-queue bot
August 11, 2024 14:03 2m 49s main
main
August 11, 2024 14:03 2m 49s
team didn't solve anything shouldn't get any medals Check autoconf (Other distros) #1632: Commit ec5d9c5 pushed by github-merge-queue bot
August 11, 2024 14:03 3m 19s main
main
August 11, 2024 14:03 3m 19s
team didn't solve anything shouldn't get any medals Check autoconf #1673: Commit ec5d9c5 pushed by github-merge-queue bot
August 11, 2024 14:03 3m 58s main
main
August 11, 2024 14:03 3m 58s
team didn't solve anything shouldn't get any medals CodeQL #4527: Commit ec5d9c5 pushed by github-merge-queue bot
August 11, 2024 14:03 5m 6s main
main
August 11, 2024 14:03 5m 6s
Add page with language stats PHP CodeSniffer #3595: Pull request #2647 synchronize by nickygerritsen
August 11, 2024 13:53 31s nickygerritsen:language-stats-page
nickygerritsen:language-stats-page
August 11, 2024 13:53 31s
Add page with language stats Run PHPStan #1688: Pull request #2647 synchronize by nickygerritsen
August 11, 2024 13:53 57s nickygerritsen:language-stats-page
nickygerritsen:language-stats-page
August 11, 2024 13:53 57s
Add page with language stats Codestandard #2963: Pull request #2647 synchronize by nickygerritsen
August 11, 2024 13:53 1m 54s nickygerritsen:language-stats-page
nickygerritsen:language-stats-page
August 11, 2024 13:53 1m 54s
Add page with language stats Run runpipe and runguard tests #819: Pull request #2647 synchronize by nickygerritsen
August 11, 2024 13:53 2m 2s nickygerritsen:language-stats-page
nickygerritsen:language-stats-page
August 11, 2024 13:53 2m 2s
Add page with language stats Spell Check #4289: Pull request #2647 synchronize by nickygerritsen
August 11, 2024 13:53 41s nickygerritsen:language-stats-page
nickygerritsen:language-stats-page
August 11, 2024 13:53 41s
Add page with language stats Unit tests #2945: Pull request #2647 synchronize by nickygerritsen
August 11, 2024 13:53 44s nickygerritsen:language-stats-page
nickygerritsen:language-stats-page
August 11, 2024 13:53 44s
Add page with language stats Webstandard (WCAG, W3C) #188: Pull request #2647 synchronize by nickygerritsen
August 11, 2024 13:53 2m 47s nickygerritsen:language-stats-page
nickygerritsen:language-stats-page
August 11, 2024 13:53 2m 47s
Add page with language stats CodeQL #4526: Pull request #2647 synchronize by nickygerritsen
August 11, 2024 13:53 3m 7s nickygerritsen:language-stats-page
nickygerritsen:language-stats-page
August 11, 2024 13:53 3m 7s
Add page with language stats Check autoconf (Other distros) #1631: Pull request #2647 synchronize by nickygerritsen
August 11, 2024 13:53 3m 32s nickygerritsen:language-stats-page
nickygerritsen:language-stats-page
August 11, 2024 13:53 3m 32s
Add page with language stats Check autoconf #1672: Pull request #2647 synchronize by nickygerritsen
August 11, 2024 13:53 3m 51s nickygerritsen:language-stats-page
nickygerritsen:language-stats-page
August 11, 2024 13:53 3m 51s