diff options
author | VladimĂr Kotal <vladimir.kotal@oracle.com> | 2023-06-19 13:43:35 +0200 |
---|---|---|
committer | Pauli <pauli@openssl.org> | 2023-06-28 09:32:03 +1000 |
commit | 956b4c75dc3f8710bf7b4e1cf01b4ef6d5ca2b45 (patch) | |
tree | 03e5b4b81778829f68b92639aaa0df8f0ec36457 /.github | |
parent | 32d2b5fdd93ceee192abefb3fd0ce8f9a1b329c2 (diff) | |
download | openssl-956b4c75dc3f8710bf7b4e1cf01b4ef6d5ca2b45.tar.gz |
add no-docs option
Reviewed-by: Tomas Mraz <tomas@openssl.org>
Reviewed-by: Paul Dale <pauli@openssl.org>
(Merged from https://github.com/openssl/openssl/pull/21240)
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/run-checker-daily.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/run-checker-daily.yml b/.github/workflows/run-checker-daily.yml index db1f3dfbcb..d97f3f2ee0 100644 --- a/.github/workflows/run-checker-daily.yml +++ b/.github/workflows/run-checker-daily.yml @@ -49,6 +49,7 @@ jobs: no-des, no-devcryptoeng, no-dh, + no-docs, no-dsa, no-dtls1, no-dtls1_2, |