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. (#…
…1283) 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) Approvers: - AJ Schmidt (https://github.com/ajschmidt8) URL: #1283
- Loading branch information