Skip to content

Fix github action (now it should run before merging).#24

Merged
meisterT merged 1 commit into
DOMjudge:mainfrom
meisterT:gh_action2
Feb 19, 2026
Merged

Fix github action (now it should run before merging).#24
meisterT merged 1 commit into
DOMjudge:mainfrom
meisterT:gh_action2

Fix github action (now it should run before merging).

32b7203
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.