Please give a one-sentence summary of the feature you would like to see.
When we make a pull request touching non-python files, we should not be required to burden Github (haha) with testing everything.
Please give as many details as possible about the requirements for the feature.
Instead, we can use Github Actions CI on.pull_request.paths to:
- Run tests specific for the appropriate changes (file extension globbing and whatnot)
- Have multiple tests run in parallel if, say, both documentation and code is modified, which makes it go faster slightly
You may have to do some experimenting on your own for this.
Please list any additional context.
@cheukyin699 was getting bored of waiting like 10 minutes for a build check to go through for the tiniest changes.
Please give a one-sentence summary of the feature you would like to see.
When we make a pull request touching non-python files, we should not be required to burden Github (haha) with testing everything.
Please give as many details as possible about the requirements for the feature.
Instead, we can use Github Actions CI
on.pull_request.pathsto:You may have to do some experimenting on your own for this.
Please list any additional context.
@cheukyin699 was getting bored of waiting like 10 minutes for a build check to go through for the tiniest changes.