👷 Trigger CI when we push to main

2025-07-31 23:19:15 +02:00 · 2023-02-08 19:31:06 +00:00 · 2023-02-08 19:31:06 +00:00 · 13726f46d6
commit 13726f46d6
parent e0dfb527ab
1 changed files with 7 additions and 1 deletions
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@ -1,5 +1,11 @@
 name: CI
-on: pull_request
+on:
+  push:
+    branches:
+      - main
+  pull_request:
+    branches:
+      - main

 jobs:
  linting: