From a6689b1035cc850a2f254c5335ff4f7488d6dc79 Mon Sep 17 00:00:00 2001 From: Matthias Date: Sat, 3 Aug 2024 09:57:31 +0200 Subject: [PATCH] chore: Remove unnecessary, duplicate mkdocs install --- .github/workflows/ci.yml | 1 - 1 file changed, 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index bb3ea2221..db11ba833 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -384,7 +384,6 @@ jobs: - name: Documentation build run: | pip install -r docs/requirements-docs.txt - pip install mkdocs mkdocs build - name: Discord notification