From 1ce719b7b3dc7f95f93c70611b63729f7bd543fb Mon Sep 17 00:00:00 2001 From: Johannes Date: Fri, 15 Jul 2022 18:04:55 +0200 Subject: [PATCH] Update docs.yml --- .github/workflows/docs.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 0bddb9d2..174c39fe 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -1,6 +1,7 @@ name: docs-ci on: + workflow_dispatch: push: branches: - main @@ -17,4 +18,4 @@ jobs: with: python-version: 3.x - run: pip install mkdocs-material mkdocs-video markdown-include - - run: mkdocs gh-deploy --force \ No newline at end of file + - run: mkdocs gh-deploy --force