Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ci: measure and report CLI load time, and require subsecond
Also, revert this commit: 2023-09-13 acd724e Eric Joanis ci: suppress redundant tests runs on PR and push It turns out doing CI on review_requested is not great, because: - if you request 2 or 3 reviews, it triggers the action 2 or 3 times - when the branch needs a real merge, we do want the result of the merge tested in CI, so we lost important validation
- Loading branch information