Skip to content

Actions: DOMjudge/domjudge

Actions

SL Scan

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
shiftleft.yml
382 workflow runs
382 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make results in submission list of rejudgings more clear. SL Scan #2785: Commit d66221b pushed by github-merge-queue bot
November 27, 2023 12:51 1m 9s main
main
November 27, 2023 12:51 1m 9s
Use printMetadata also for judging metadata SL Scan #2784: Commit 7deedde pushed by github-merge-queue bot
November 26, 2023 12:03 1m 5s gh-readonly-queue/main/pr-2261-665d8b49e007d52fb411025bb856f6c2289bc318
gh-readonly-queue/main/pr-2261-665d8b49e007d52fb411025bb856f6c2289bc318
November 26, 2023 12:03 1m 5s
Use printMetadata also for judging metadata SL Scan #2783: Commit 7deedde pushed by github-merge-queue bot
November 26, 2023 12:03 1m 14s main
main
November 26, 2023 12:03 1m 14s
Use printMetadata also for judging metadata SL Scan #2782: Commit 206674f pushed by eldering
November 26, 2023 10:49 1m 7s consistent-print-metadata
consistent-print-metadata
November 26, 2023 10:49 1m 7s
Include wall time in judgedaemon log. SL Scan #2781: Commit 665d8b4 pushed by github-merge-queue bot
November 26, 2023 10:30 1m 5s gh-readonly-queue/main/pr-2257-02b38d019dee85b74dbfaf3b354775a5080a6725
gh-readonly-queue/main/pr-2257-02b38d019dee85b74dbfaf3b354775a5080a6725
November 26, 2023 10:30 1m 5s
Include wall time in judgedaemon log. SL Scan #2780: Commit 665d8b4 pushed by github-merge-queue bot
November 26, 2023 10:30 1m 6s main
main
November 26, 2023 10:30 1m 6s
Add option to create database dump from sql script SL Scan #2779: Commit 02b38d0 pushed by github-merge-queue bot
November 26, 2023 10:27 2m 13s gh-readonly-queue/main/pr-2184-15fae5351b91137db059ce4339f48d7ccf0a0ad8
gh-readonly-queue/main/pr-2184-15fae5351b91137db059ce4339f48d7ccf0a0ad8
November 26, 2023 10:27 2m 13s
Add option to create database dump from sql script SL Scan #2778: Commit 02b38d0 pushed by github-merge-queue bot
November 26, 2023 10:27 2m 4s main
main
November 26, 2023 10:27 2m 4s
Set HTTPS fastcgi param correctly for http SL Scan #2777: Commit 15fae53 pushed by github-merge-queue bot
November 26, 2023 10:14 1m 1s gh-readonly-queue/main/pr-2260-d2e05d3457bdd08cb4ad3b2e61fec6dd452fce0b
gh-readonly-queue/main/pr-2260-d2e05d3457bdd08cb4ad3b2e61fec6dd452fce0b
November 26, 2023 10:14 1m 1s
Set HTTPS fastcgi param correctly for http SL Scan #2776: Commit 15fae53 pushed by github-merge-queue bot
November 26, 2023 10:14 1m 6s main
main
November 26, 2023 10:14 1m 6s
Add option to tail and download log files from web UI. SL Scan #2775: Commit d2e05d3 pushed by github-merge-queue bot
November 26, 2023 09:03 1m 4s gh-readonly-queue/main/pr-2258-e3b5783e0a5283ba4e8d84f7324ae0da3c49b26e
gh-readonly-queue/main/pr-2258-e3b5783e0a5283ba4e8d84f7324ae0da3c49b26e
November 26, 2023 09:03 1m 4s
Add option to tail and download log files from web UI. SL Scan #2774: Commit d2e05d3 pushed by github-merge-queue bot
November 26, 2023 09:02 1m 5s main
main
November 26, 2023 09:02 1m 5s
Add option to tail and download log files from web UI. SL Scan #2773: Commit 4337256 pushed by nickygerritsen
November 26, 2023 08:47 1m 6s log-file-web-ui
log-file-web-ui
November 26, 2023 08:47 1m 6s
This repairs our teammanual generation SL Scan #2772: Commit e3b5783 pushed by github-merge-queue bot
November 26, 2023 08:26 1m 1s gh-readonly-queue/main/pr-2205-8880ea364376a8ba3e3d2b99e3dbfc480a74a034
gh-readonly-queue/main/pr-2205-8880ea364376a8ba3e3d2b99e3dbfc480a74a034
November 26, 2023 08:26 1m 1s
This repairs our teammanual generation SL Scan #2771: Commit e3b5783 pushed by github-merge-queue bot
November 26, 2023 08:25 1m 4s main
main
November 26, 2023 08:25 1m 4s
Remove display of output diff to teams. SL Scan #2770: Commit 8880ea3 pushed by github-merge-queue bot
November 25, 2023 19:31 1m 11s main
main
November 25, 2023 19:31 1m 11s
Remove display of output diff to teams. SL Scan #2769: Commit 8880ea3 pushed by github-merge-queue bot
November 25, 2023 19:31 1m 5s gh-readonly-queue/main/pr-2256-f23a920e0b4984a7bebc25aa2c1200135b5341ec
gh-readonly-queue/main/pr-2256-f23a920e0b4984a7bebc25aa2c1200135b5341ec
November 25, 2023 19:31 1m 5s
Remove partial loading of submission file. SL Scan #2768: Commit f23a920 pushed by github-merge-queue bot
November 25, 2023 16:27 1m 2s gh-readonly-queue/main/pr-2243-fb7871ffb34b10f315b83e9b9a40db84d1b7d024
gh-readonly-queue/main/pr-2243-fb7871ffb34b10f315b83e9b9a40db84d1b7d024
November 25, 2023 16:27 1m 2s
Remove partial loading of submission file. SL Scan #2767: Commit f23a920 pushed by github-merge-queue bot
November 25, 2023 16:27 1m 7s main
main
November 25, 2023 16:27 1m 7s
Skip the test on fedora SL Scan #2766: Commit fb7871f pushed by github-merge-queue bot
November 25, 2023 15:27 1m 11s gh-readonly-queue/main/pr-2055-4986f51c210aa7f7f5b9ba1d85923eb1ab70a727
gh-readonly-queue/main/pr-2055-4986f51c210aa7f7f5b9ba1d85923eb1ab70a727
November 25, 2023 15:27 1m 11s
Skip the test on fedora SL Scan #2765: Commit fb7871f pushed by github-merge-queue bot
November 25, 2023 15:27 1m 9s main
main
November 25, 2023 15:27 1m 9s
Use printMetadata also for judging metadata SL Scan #2764: Commit d65732f pushed by eldering
November 25, 2023 14:39 1m 6s consistent-print-metadata
consistent-print-metadata
November 25, 2023 14:39 1m 6s
If a contest is selected, only show clarifications for that contest. SL Scan #2763: Commit 4986f51 pushed by github-merge-queue bot
November 25, 2023 14:04 2m 22s gh-readonly-queue/main/pr-2255-f5e00ba7c922af4f4ee9c605ced84d231f0ab536
gh-readonly-queue/main/pr-2255-f5e00ba7c922af4f4ee9c605ced84d231f0ab536
November 25, 2023 14:04 2m 22s
If a contest is selected, only show clarifications for that contest. SL Scan #2762: Commit 4986f51 pushed by github-merge-queue bot
November 25, 2023 14:04 1m 8s main
main
November 25, 2023 14:04 1m 8s
If a contest is selected, only show clarifications for that contest. SL Scan #2761: Commit 11aa0b3 pushed by nickygerritsen
November 25, 2023 13:41 1m 13s make-clarifications-pages-contest-specific
make-clarifications-pages-contest-specific
November 25, 2023 13:41 1m 13s
ProTip! You can narrow down the results and go further in time using created:<2023-11-25 or the other filters available.