From 20a16740b934ced59cf5b12b9a35cbdee5023192 Mon Sep 17 00:00:00 2001
From: Manuel Burger <manuel.burger@inf.ethz.ch>
Date: Tue, 26 Mar 2024 23:16:19 +0100
Subject: [PATCH] Suppress manual check

---
 .github/workflows/check.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/check.yaml b/.github/workflows/check.yaml
index c27a216a..f80262ee 100644
--- a/.github/workflows/check.yaml
+++ b/.github/workflows/check.yaml
@@ -33,7 +33,7 @@ jobs:
       - name: Run R CMD check
         shell: bash -l {0}
         run: |
-          R CMD build . && R CMD check --as-cran $(ls -t . | head -n1)
+          R CMD build . && R CMD check --as-cran $(ls -t . | head -n1) --no-manual
         env:
           _R_CHECK_CRAN_INCOMING_: false
       - name: Check for warnings