ci: run the on pull request CIs on push to master

This will help catch problems caused by merging.

Reviewed-by: Tomas Mraz <tomas@openssl.org>
(Merged from https://github.com/openssl/openssl/pull/15711)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index b21c24ea57da518533ba5e4adea6be98b96d91d8..81f6203e2a19f6a85b6e556cd56c0283f9f85183 100644 (file)
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -1,5 +1,5 @@
 name: CIFuzz
-on: [pull_request]
+on: [pull_request, push]
 jobs:
   Fuzzing:
     runs-on: ubuntu-latest

diff --git a/.github/workflows/run-checker-ci.yml b/.github/workflows/run-checker-ci.yml
index 4022778dd877d25e6c43f28744754b3f3c06206d..39423845f39d694442dc7fc98a807b983c75cc2a 100644 (file)
--- a/.github/workflows/run-checker-ci.yml
+++ b/.github/workflows/run-checker-ci.yml
@@ -1,7 +1,7 @@
 
 # Jobs run per pull request submission
 name: Run-checker CI
-on: [pull_request]
+on: [pull_request, push]
 jobs:
   run-checker:
     strategy: