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:53 +0100 |
| commit | 69daea54fd88b8027bfce28af746e54e316a0a2b (patch) | |
| tree | 4eec6f104b7cd68ed29c5ee5a899df624a05b290 /.github | |
| parent | d73c93625f47fe66ea5c77db6757c1c20229ba23 (diff) | |
Github CI: run also on repository pushes
Reviewed-by: Richard Levitte <levitte@openssl.org>
(Merged from https://github.com/openssl/openssl/pull/13686)
(cherry picked from commit 4159ebca3cb3d9586d6709c7a0166a4af5676f91)
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 a00ed88098..6073ba29bf 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: |