Merge branch 'main' of github.com:UM-Bridge/umbridge into main

UM-Bridge · Jun 24, 2022 · 073749a · 073749a
2 parents d7fe9d4 + bf11c4b
commit 073749a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/generate-documentation.yml b/.github/workflows/generate-documentation.yml
@@ -9,5 +9,5 @@ on:
 jobs:
   build:
     name: run make documentation
-    uses: UM-Bridge/benchmarks/.github/workflows/generate-documentation-shared.yaml@main
+    uses: UM-Bridge/benchmarks/.github/workflows/generate-documentation-shared.yml@main