Moving Scheduled Bots from Jenkins to Github Actions: Pros and Cons?

[sabahzero]

[sabahzero]

Overview (includes pros and cons):
https://knapsackpro.com/ci_servers/github-actions

Inquiries regarding scheduling:
https://github.com/marketplace/actions/milestone-schedule

More general info:
https://github.com/marketplace?type=actions

[sabahzero]

@andrawaag has tried this and concluded it can be helpful for certain purposes.