From c5eaa4106ef38321a7adf5bd2a5638e41dfde095 Mon Sep 17 00:00:00 2001 From: Matthew Andres Moreno Date: Thu, 30 Nov 2023 17:19:26 +0000 Subject: [PATCH] Bugfix: mark current directory safe for git --- .github/workflows/CI.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index 055d2caf1..bc9317579 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -57,7 +57,7 @@ jobs: # - run: cd binder && ./execute_notebooks.sh # adapted from https://unix.stackexchange.com/a/545630 - run: find -type f -name "*.pdf" -exec bash -c 'gs -sDEVICE=pdfwrite -dCompatibilityLevel=1.4 -dPDFSETTINGS=/screen -dNOPAUSE -dBATCH -dQUIET -sOutputFile="new.pdf" "{}"; rm "{}"; mv "new.pdf" "{}";' {} \; - - run: git config --global --add safe.directory / + - run: git config --global --add safe.directory . - run: git init - uses: fregante/setup-git-user@v1 - run: git commit --allow-empty -m "Initial commit"