Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Ensure that the lint check is always performed on push and pull-requests on main. This fixes the corresponding mandatory check being stuck.
- Loading branch information