Some PRs, especially (github) documentation PRs, don't really need the CI to be run, as a result every time there is a push it tends to get manually cancelled. Perhaps we can make a label so that the CI doesn't get run?
just let it run
Ali Caglayan has marked this topic as resolved.
Last updated: Dec 05 2023 at 12:01 UTC