Merge remote-tracking branch 'refs/remotes/origin/gitlab-98' into gitlab-98

shayfaber · shayfaber · commit 3d1583b38daa · 2025-01-15T15:36:57.000+01:00
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -4,6 +4,9 @@ on:
   pull_request:
     branches:
       - main
+  push:
+    branches:
+      - gitlab-98
 
 jobs:
   build-and-selftest:
