From 3614d94d5f7fce54b2a50efde22c43b55bf71a5f Mon Sep 17 00:00:00 2001 From: Pauli Date: Fri, 11 Jun 2021 15:13:02 +1000 Subject: [PATCH] ci: run the on pull request CIs on push to master This will help catch problems caused by merging. Reviewed-by: Tomas Mraz (Merged from https://github.com/openssl/openssl/pull/15711) --- .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: -- 2.34.1