From f6cdd9f245b14dbee3b101b6a245888f18e9e847 Mon Sep 17 00:00:00 2001 From: cdwensley Date: Tue, 23 Jan 2024 14:49:51 +0000 Subject: [PATCH] correct PR#70 - no test with stable-4.11 --- .github/workflows/CI.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index 4079632..4650757 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -56,3 +56,4 @@ jobs: with: name: manual path: ./doc/manual.pdf + if-no-files-found: error