Run CI workflow on pull_request and push

hecrj · hecrj · commit b91e39ece2c0 · 2024-01-16T11:58:13.000+01:00
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,10 +1,6 @@
 name: CI
 
-on:
-  pull_request:
-  push:
-    branches: [master]
-
+on: [pull_request, push]
 jobs:
   fmt:
     name: Check formatting
