add no-docs option

[thirdparty/openssl.git] / .github / workflows / run-checker-daily.yml

diff --git a/.github/workflows/run-checker-daily.yml b/.github/workflows/run-checker-daily.yml
index a7d0e96410117c62d725d28bef3d9f608a0d169a..d97f3f2ee0116cba2b121d69a27cdd801e6a2870 100644 (file)
--- a/.github/workflows/run-checker-daily.yml
+++ b/.github/workflows/run-checker-daily.yml
@@ -22,6 +22,7 @@ jobs:
         opt: [
           386,
           no-afalgeng,
+          no-apps,
           no-aria,
           no-asan,
           no-asm,
@@ -48,6 +49,7 @@ jobs:
           no-des,
           no-devcryptoeng,
           no-dh,
+          no-docs,
           no-dsa,
           no-dtls1,
           no-dtls1_2,
@@ -136,6 +138,8 @@ jobs:
     runs-on: ubuntu-latest
     steps:
     - uses: actions/checkout@v3
+    - name: checkout fuzz/corpora submodule
+      run: git submodule update --init --depth 1 fuzz/corpora
     - name: config
       run: CC=clang ./config --banner=Configured --strict-warnings ${{ matrix.opt }}
     - name: config dump