]> git.ipfire.org Git - thirdparty/openssl.git/commitdiff
projects / thirdparty / openssl.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: d73c936)
Github CI: run also on repository pushes
authorTomas Mraz <tmraz@fedoraproject.org>
Wed, 16 Dec 2020 08:39:31 +0000 (09:39 +0100)
committerTomas Mraz <tmraz@fedoraproject.org>
Thu, 17 Dec 2020 10:26:53 +0000 (11:26 +0100)
Reviewed-by: Richard Levitte <levitte@openssl.org>
(Merged from https://github.com/openssl/openssl/pull/13686)

(cherry picked from commit 4159ebca3cb3d9586d6709c7a0166a4af5676f91)

.github/workflows/ci.yml patch | blob | blame | history

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index a00ed880989fbbb22acb558766242849003fea6c..6073ba29bf74a7589754be46453c6b29524fb55b 100644 (file)
--- 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:
Mirror of https://github.com/openssl/openssl.git