ci: Add CI to main pushes (#307)

2024-11-21 17:51:43 -05:00
parent 924239fc3c
commit 470a624d6c
2 changed files with 16 additions and 3 deletions
@@ -2,7 +2,12 @@ name: CI

 on:
  pull_request:
-    branches: [main]
+    branches:
+      - main # Trigger CI on PRs to main
+
+  push:
+    branches:
+      - main # Trigger CI on pushes to main

 jobs:
  exchange: