diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index 857e9390..b61f1ff2 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml @@ -1,3 +1,5 @@ +name: Check linting + on: push: pull_request: