projects / openssl.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from parent 1: a2e145f)
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:22 +0000 (11:26 +0100)
Reviewed-by: Richard Levitte <levitte@openssl.org>
(Merged from https://github.com/openssl/openssl/pull/13686)

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 32140d3aa3553f7aa5702003d8d484e5be758547..601249f6f4799989c567901fec876811f833c5c6 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:
Unnamed repository; edit this file 'description' to name the repository.