Closed jmid closed 3 months ago
Development of the testsuite has slowed a bit down, which means that a couple of weeks may sometimes pass without PRs to trigger a test run of trunk.
This PR therefore adds a cron-scheduled run every Monday morning.
CI summary
Out of 36 workflows 35 passed and 1 failed with a genuine issue
CI summary for merge to main:
main
Out of 37 workflows 36 passed and 1 failed with a genuine issue
Development of the testsuite has slowed a bit down, which means that a couple of weeks may sometimes pass without PRs to trigger a test run of trunk.
This PR therefore adds a cron-scheduled run every Monday morning.