ENH: run github workflows on push as well

yarikoptic · yarikoptic · commit 3ed2c4b67f6d · 2020-03-06T10:33:06.000-05:00
I was confused to not see any "master" builds in the github actions.  That
precluded to see what last state of master was ok on windows.
diff --git a/.github/workflows/benchmarks.yml b/.github/workflows/benchmarks.yml
@@ -1,6 +1,6 @@
 name: Benchmarks
 
-on: [pull_request]
+on: [push, pull_request]
 
 jobs:
   vs-master:
diff --git a/.github/workflows/docbuild.yml b/.github/workflows/docbuild.yml
@@ -1,6 +1,6 @@
 name: Docs
 
-on: [pull_request]
+on: [push, pull_request]
 
 jobs:
   build:
diff --git a/.github/workflows/test_extensions.yml b/.github/workflows/test_extensions.yml
@@ -1,6 +1,6 @@
 name: Extensions
 
-on: [pull_request]
+on: [push, pull_request]
 
 jobs:
   test:
diff --git a/.github/workflows/test_win2019.yml b/.github/workflows/test_win2019.yml
@@ -1,6 +1,6 @@
 name: Win2019
 
-on: [pull_request]
+on: [push, pull_request]
 
 jobs:
   test:
