Fix workflow

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