From e46c8e457c7cf36a6cb2b59b87ee004dc1574731 Mon Sep 17 00:00:00 2001 From: Oliver Kopp Date: Wed, 26 Jul 2023 19:17:18 +0200 Subject: [PATCH] Some debug --- .github/workflows/update-files.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/update-files.yml b/.github/workflows/update-files.yml index fab7395..09a6cf0 100644 --- a/.github/workflows/update-files.yml +++ b/.github/workflows/update-files.yml @@ -92,7 +92,7 @@ jobs: - name: Push changes run: | cd code - parallel --retries 10 --delay 3 ::: "git pull --rebase && git push" + parallel --retries 10 --delay 3 ::: "git status && git pull --rebase && git push" publish: runs-on: ubuntu-latest needs: [generatetex]