diff options
author | Tomas Mraz <tmraz@fedoraproject.org> | 2020-12-16 09:39:31 +0100 |
---|---|---|
committer | Tomas Mraz <tmraz@fedoraproject.org> | 2020-12-17 11:26:22 +0100 |
commit | 4159ebca3cb3d9586d6709c7a0166a4af5676f91 (patch) | |
tree | b903e6c445c458baee7cab6175b199c94f044741 /.github | |
parent | a2e145f8dbf064b56f793fc77b3ccd79f7c67689 (diff) |
Github CI: run also on repository pushes
Reviewed-by: Richard Levitte <levitte@openssl.org>
(Merged from https://github.com/openssl/openssl/pull/13686)
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 32140d3aa3..601249f6f4 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,6 +1,6 @@ name: GitHub CI -on: [pull_request] +on: [pull_request, push] # for some reason, this does not work: # variables: |