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 /doc | |
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 'doc')
0 files changed, 0 insertions, 0 deletions