diff options
author | Pauli <pauli@openssl.org> | 2021-06-11 15:13:02 +1000 |
---|---|---|
committer | Pauli <pauli@openssl.org> | 2021-06-12 23:06:22 +1000 |
commit | 3614d94d5f7fce54b2a50efde22c43b55bf71a5f (patch) | |
tree | 04a894429600dd2b8906eb7b6a76f4ca5c2c481d /.github | |
parent | 49a54634ec8cfff55f443bb458ab3f2d7791862d (diff) |
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)
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/main.yml | 2 | ||||
-rw-r--r-- | .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: |