Skip to content

Actions: DOMjudge/domjudge

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,703 workflow runs
1,703 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CodeQL
CodeQL #5656: Merge group checks requested
March 2, 2025 16:06 14m 31s
March 2, 2025 16:06 14m 31s
CodeQL
CodeQL #5655: Merge group checks requested
March 2, 2025 16:05 3m 42s
March 2, 2025 16:05 3m 42s
CodeQL
CodeQL #5653: Merge group checks requested
March 2, 2025 15:51 10m 27s
March 2, 2025 15:51 10m 27s
Improve source diff viewer.
CodeQL #5650: Pull request #2945 opened by meisterT
March 2, 2025 15:15 3m 17s meisterT:diffdiffdiff
March 2, 2025 15:15 3m 17s
Make scoreboard type explicit.
CodeQL #5648: Pull request #2942 synchronize by meisterT
March 2, 2025 14:43 4m 27s meisterT:scoreboardtype
March 2, 2025 14:43 4m 27s
Make scoreboard type explicit.
CodeQL #5646: Pull request #2942 synchronize by meisterT
March 2, 2025 14:19 9m 17s meisterT:scoreboardtype
March 2, 2025 14:19 9m 17s
Make scoreboard type explicit.
CodeQL #5644: Pull request #2942 synchronize by meisterT
March 2, 2025 14:09 7m 42s meisterT:scoreboardtype
March 2, 2025 14:09 7m 42s
Improve contest ID handling in submit client.
CodeQL #5643: Pull request #2943 opened by meisterT
March 2, 2025 14:08 6m 20s meisterT:sc_cid
March 2, 2025 14:08 6m 20s
Make scoreboard type explicit.
CodeQL #5641: Pull request #2942 opened by meisterT
March 2, 2025 13:45 3m 1s meisterT:scoreboardtype
March 2, 2025 13:45 3m 1s
Only display affected judgings if there is more than one.
CodeQL #5640: Pull request #2941 opened by meisterT
March 2, 2025 13:15 6m 28s meisterT:ieaffj
March 2, 2025 13:15 6m 28s
CodeQL
CodeQL #5639: Merge group checks requested
March 2, 2025 13:07 9m 22s
March 2, 2025 13:07 9m 22s
Associate internal error with judging run if available.
CodeQL #5636: Pull request #2940 opened by meisterT
March 2, 2025 12:40 3m 9s meisterT:iejrtc
March 2, 2025 12:40 3m 9s
CodeQL
CodeQL #5634: Merge group checks requested
March 2, 2025 11:52 20m 12s
March 2, 2025 11:52 20m 12s
CodeQL
CodeQL #5632: Merge group checks requested
March 2, 2025 11:40 18m 20s
March 2, 2025 11:40 18m 20s
ProTip! You can narrow down the results and go further in time using created:<2025-03-02 or the other filters available.