The branch master has been updated
via 3614d94d5f7fce54b2a50efde22c43b55bf71a5f (commit)
from 49a54634ec8cfff55f443bb458ab3f2d7791862d (commit)
- Log -----------------------------------------------------------------
commit 3614d94d5f7fce54b2a50efde22c43b55bf71a5f
Author: Pauli <pa...@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 <to...@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:
