[openssl] master update

[Dr. Paul Dale]

The branch master has been updated
       via  3614d94d5f7fce54b2a50efde22c43b55bf71a5f (commit)
      from  49a54634ec8cfff55f443bb458ab3f2d7791862d (commit)


- Log -----------------------------------------------------------------
commit 3614d94d5f7fce54b2a50efde22c43b55bf71a5f
Author: Pauli <pauli at openssl.org>
Date:   Fri Jun 11 15:13:02 2021 +1000

    ci: run the on pull request CIs on push to master
    
    This will help catch problems caused by merging.
    
    Reviewed-by: Tomas Mraz <tomas at openssl.org>
    (Merged from https://github.com/openssl/openssl/pull/15711)

-----------------------------------------------------------------------

Summary of changes:
 .github/workflows/main.yml           | 2 +-
 .github/workflows/run-checker-ci.yml | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index b21c24ea57..81f6203e2a 100644
--- 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 4022778dd8..39423845f3 100644
--- 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: