Allow manual build of docs with benchmarks (#28)

gdalle · Jul 13, 2023 · 7e6fa2d · 7e6fa2d
1 parent 4abc80a
commit 7e6fa2d
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 15 deletions.
diff --git a/.github/workflows/TagBot.yml b/.github/workflows/TagBot.yml
diff --git a/.github/workflows/docs-benchmark.yml b/.github/workflows/docs-benchmark.yml
@@ -2,6 +2,7 @@ name: docs-benchmark
 on:
   release:
     types: [published]
+  workflow_dispatch:
 concurrency:
   # Skip intermediate builds: always.
   # Cancel intermediate builds: only if it is a pull request build.