fix CI on push

for reference, documentation is here:
ttps://docs.github.com/en/actions/learn-github-actions/contexts#github-context

.github/workflows/ci.yml

@@ -7,7 +7,7 @@ on:
 
 jobs:
   lint_and_typecheck:
-    if: ${{ github.event.name == 'push' || github.event.label.name == 'run-ci' }}
+    if: ${{ github.event_name == 'push' || github.event.label.name == 'run-ci' }}
     runs-on: ubuntu-latest
 
     steps: