Mike McQuaid ca7339da21 workflows: reduce scheduled PR workflow's frequency.
Once every 24h should be sufficient for both of these.
2020-09-04 14:11:23 +01:00
..