diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml index 76c3fdf4..5852f1b7 100644 --- a/.github/workflows/push.yml +++ b/.github/workflows/push.yml @@ -1,5 +1,5 @@ name: CI -on: [push, pull_request] +on: [pull_request] jobs: lint: