Bump timeout on GitHub to 30mins while preparing the chroot takes lon…#3090
Merged
meisterT merged 1 commit intoDOMjudge:mainfrom Sep 7, 2025
Merged
Bump timeout on GitHub to 30mins while preparing the chroot takes lon…#3090meisterT merged 1 commit intoDOMjudge:mainfrom
meisterT merged 1 commit intoDOMjudge:mainfrom
