From 956b4c75dc3f8710bf7b4e1cf01b4ef6d5ca2b45 Mon Sep 17 00:00:00 2001
From: Vladimír Kotal <vladimir.kotal@oracle.com>
Date: Mon, 19 Jun 2023 13:43:35 +0200
Subject: 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)
---
 .github/workflows/run-checker-daily.yml | 1 +
 1 file changed, 1 insertion(+)

(limited to '.github')

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,
-- 
cgit v1.2.3