🧪 Run CI also on pushes to master (#1073)

This is mainly because it is required by codecov, for comparing coverage of PRs
useblocks · Nov 13, 2023 · 2ddc0a2 · 2ddc0a2
1 parent 6ffb097
commit 2ddc0a2
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -1,5 +1,8 @@
 name: CI
-on: [pull_request]
+on:
+  push:
+    branches: [master]
+  pull_request:
 jobs:
 
   lint: