Chroot checks

Allow for different timelimits per problem type #583

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-chroot-arch (default)	3m 26s
check-chroot-arch (amd64)	4m 3s
	7m 29s