Skip to content

Actions: DOMjudge/domjudge

Actions

Chroot checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
780 workflow run results
780 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Develop major release
Chroot checks #802: Commit 5938e63 pushed by github-merge-queue bot
3m 12s main
Make scoreboard type explicit.
Chroot checks #793: Commit 1400212 pushed by github-merge-queue bot
4m 13s main
Improve source diff viewer.
Chroot checks #782: Commit 57fed82 pushed by github-merge-queue bot
6m 48s main