From a08e04c5af8cfb783188169eca6f6bb4cba3bf36 Mon Sep 17 00:00:00 2001
From: Pierre Chapuis <git@catwell.info>
Date: Mon, 8 Jan 2024 09:38:55 +0100
Subject: [PATCH] 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 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 768e729c7..7ddf86478 100644
--- a/.github/workflows/ci.yml
+++ b/.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: