From: Pauli <pauli@openssl.org>
Date: Fri, 11 Jun 2021 05:13:02 +0000 (+1000)
Subject: ci: run the on pull request CIs on push to master
X-Git-Tag: openssl-3.0.0-beta1~83
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3614d94d5f7fce54b2a50efde22c43b55bf71a5f;p=thirdparty%2Fopenssl.git

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 b21c24ea57d..81f6203e2a1 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 4022778dd87..39423845f39 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: