CI starting on push before opening a PR is nice with our matrix and run times

PragTob · PragTob · commit f2616913a539 · 2020-08-16T16:26:53.000+02:00
diff --git a/.github/workflows/stable.yml b/.github/workflows/stable.yml
@@ -1,11 +1,6 @@
 name: stable
 
-on:
-  pull_request:
-
-  push:
-    branches:
-      - main
+on: [push, pull_request]
 
 jobs:
   test:
