From 836e788f09a74bf860b037e82098593d70c25911 Mon Sep 17 00:00:00 2001 From: Daniel Larraz Date: Mon, 16 Sep 2024 11:42:34 -0500 Subject: [PATCH] Fix workflow --- .github/workflows/main.yml | 1 - 1 file changed, 1 deletion(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 3ab68cc..f1c053d 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -23,7 +23,6 @@ jobs: run: | git config --global user.email "cvc5-bot@users.noreply.github.com" git config --global user.name "cvc5-bot" - git clone git@github.com:cvc5/cvc5.github.io.git website/ git clone https://github.com/cvc5/cvc5.github.io.git rm -r website/tutorials/beginners