Comment by zeisss

Is this relying on scheduled github actions? We are using those and they are not very accurate. We regularly see jobs completely skipped or run with a lot of delay.