diff --git a/.github/workflows/extensions.yml b/.github/workflows/extensions.yml index fce5efca..d24d7d56 100644 --- a/.github/workflows/extensions.yml +++ b/.github/workflows/extensions.yml @@ -44,6 +44,7 @@ jobs: - name: Set up Visual Studio if: runner.os == 'Windows' + shell: cmd run: call "C:\Program Files\Microsoft Visual Studio\2022\Enterprise\VC\Auxiliary\Build\vcvars64.bat" - name: Build C files @@ -62,7 +63,7 @@ jobs: run: | CURRENT_BRANCH=$(git rev-parse --abbrev-ref HEAD) for attempt in {1..3}; do - git pull --rebase origin/$CURRENT_BRANCH && git push origin $CURRENT_BRANCH && exit 0 || { + git pull --rebase origin $CURRENT_BRANCH && git push origin $CURRENT_BRANCH && exit 0 || { echo "Attempt $attempt failed. Retrying in 5 seconds..." sleep 5 }