More fixes

cvc5 · Sep 16, 2024 · b23c885 · b23c885
1 parent 836e788
commit b23c885
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -23,7 +23,7 @@ jobs:
       run: |
         git config --global user.email "[email protected]"
         git config --global user.name "cvc5-bot"
-        git clone https://github.com/cvc5/cvc5.github.io.git
+        git clone https://github.com/cvc5/cvc5.github.io.git website
 
         rm -r website/tutorials/beginners
         cp -r beginners/_build/html website/tutorials/beginners