From: Tomas Mraz <tmraz@fedoraproject.org>
Date: Wed, 16 Dec 2020 08:39:31 +0000 (+0100)
Subject: Github CI: run also on repository pushes
X-Git-Tag: openssl-3.0.0-alpha10~43
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=4159ebca3cb3d9586d6709c7a0166a4af5676f91;p=thirdparty%2Fopenssl.git

Github CI: run also on repository pushes

Reviewed-by: Richard Levitte <levitte@openssl.org>
(Merged from https://github.com/openssl/openssl/pull/13686)
---

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 32140d3aa35..601249f6f47 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: