projects
/
openssl.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
a2e145f
)
Github CI: run also on repository pushes
author
Tomas Mraz
<tmraz@fedoraproject.org>
Wed, 16 Dec 2020 08:39:31 +0000
(09:39 +0100)
committer
Tomas 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: