Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
CI: Remove specification of manual stage for check_style.sh script. (#…
…12803) Do not explicitly specify to run the "manual" stage when running pre-commits as part of the ci/check_style.sh script. Authors: - Carl Simon Adorf (https://github.com/csadorf) - Vyas Ramasubramani (https://github.com/vyasr) - Bradley Dice (https://github.com/bdice) Approvers: - Vyas Ramasubramani (https://github.com/vyasr) - AJ Schmidt (https://github.com/ajschmidt8) URL: #12803
- Loading branch information