From eaf076358374f86576fde98ba0e3ec82a8517266 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= Date: Thu, 19 Oct 2023 02:50:36 +0200 Subject: [PATCH] correctly compile in pipeline --- .ci/{build_doc.sh => compile_doc.sh} | 0 .gitea/workflows/build.yaml | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) rename .ci/{build_doc.sh => compile_doc.sh} (100%) mode change 100644 => 100755 diff --git a/.ci/build_doc.sh b/.ci/compile_doc.sh old mode 100644 new mode 100755 similarity index 100% rename from .ci/build_doc.sh rename to .ci/compile_doc.sh diff --git a/.gitea/workflows/build.yaml b/.gitea/workflows/build.yaml index 6aff03b..be4fce1 100644 --- a/.gitea/workflows/build.yaml +++ b/.gitea/workflows/build.yaml @@ -35,7 +35,7 @@ jobs: REF_NAME: ${{ github.ref_name }} - name: Compile documentation if: github.ref == 'refs/heads/master' - run: make doc + run: .ci/compile_doc.sh - name: Prepage pages if: github.ref == 'refs/heads/master' run: |