Given that we usually create PRs before changes enter the main branch, wouldn't it be enough to just run a few checks on push/main, and run all checks only on pull-request/main?
I'd suggest for push/main:
- pkgdown
- win-devel (or release?)
- ubuntu-devel (or release?)
- maybe some more, probably one check-hard-ubuntu-devel?
And for PR/main, all the above checks plus the remaining ones (lintr, HTML, all examples, ...).
This would save some resources.
Given that we usually create PRs before changes enter the main branch, wouldn't it be enough to just run a few checks on push/main, and run all checks only on pull-request/main?
I'd suggest for push/main:
And for PR/main, all the above checks plus the remaining ones (lintr, HTML, all examples, ...).
This would save some resources.