From 32fe1ebf66ddd75a22eb868c1005b89d49d54dc2 Mon Sep 17 00:00:00 2001 From: Dimitri Herzog Date: Tue, 7 Mar 2023 17:37:57 +0100 Subject: [PATCH] chore: type --- .github/workflows/docs.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 359036f1..6b525659 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -17,7 +17,7 @@ jobs: python-version: 3.x - name: install tools - - run: pip install mkdocs-material mike + run: pip install mkdocs-material mike - name: Setup doc deploy run: |