From 0bf7dba38715f35b6d1a012fa1dbe6527cf13558 Mon Sep 17 00:00:00 2001 From: Florian Albrechtskirchinger Date: Thu, 4 Aug 2022 17:27:47 +0200 Subject: [PATCH] Enable manual publishing of the documentation --- .github/workflows/publish_documentation.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/publish_documentation.yml b/.github/workflows/publish_documentation.yml index 34eff8f34..536cc8bfb 100644 --- a/.github/workflows/publish_documentation.yml +++ b/.github/workflows/publish_documentation.yml @@ -8,6 +8,7 @@ on: paths: - docs/mkdocs/** - docs/examples/** + workflow_dispatch: # we don't want to have concurrent jobs, and we don't want to cancel running jobs to avoid broken publications concurrency: