From b974084d76fb21ab202a192866d5535b80ceb492 Mon Sep 17 00:00:00 2001 From: "Matias N. Goldberg" Date: Wed, 19 Jun 2024 20:02:49 -0300 Subject: [PATCH] Revert "removed duplicated line into main.yml" This reverts commit e81f95b51cf3a80506f8248fb3e57ef82ccadf1c. Apparently it's needed by CI --- .github/workflows/main.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 890de13375b..2e38b8971e6 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -16,6 +16,7 @@ jobs: runs-on: ubuntu-latest steps: + - uses: actions/checkout@v4 - uses: actions/checkout@v4 with: ref: gh-pages