Open johnkerl opened 3 months ago
I unassigned myself. What I reported on slack was a local test. It is not fully scoped. Skipping on pull_request may not be right, imagine a PR by a third party not us: we surely would want it there. So does that mean we may want to skip on push? It is all somewhat unclear, and I did not claim to have answers.
@eddelbuettel has some great ideas to reduce queueing time
[sc-48750]