Fix CI typo

leanprover-community · May 24, 2024 · ec2267e · ec2267e
1 parent f7838d0
commit ec2267e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/blueprint.yml b/.github/workflows/blueprint.yml
@@ -83,7 +83,7 @@ jobs:
       - name: Build webpage
         run: |
           cd docs_src
-          pandoc -t html --mathjax -f markdown+tex_math_dollars+raw_tex index.md --template template.html -o ../docs/index.html}
+          pandoc -t html --mathjax -f markdown+tex_math_dollars+raw_tex index.md --template template.html -o ../docs/index.html
           cp *.css ../docs
 
       - name: Upload docs & blueprint artifact