ci: use $HOME instead of tilde expansion

Tilde expansion does not work within quotes, and in general we want quotes to avoid potential word splitting.
paride · Feb 19, 2024 · 51d45ba · 51d45ba
1 parent 01ac1a7
commit 51d45ba
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/main_check.yaml b/.github/workflows/main_check.yaml
@@ -19,7 +19,7 @@ jobs:
         env:
           GCE_CREDENTIALS_JSON: ${{ secrets.GCE_CREDENTIALS_JSON }}
           PYCLOUDLIB_TOML: ${{ secrets.PYCLOUDLIB_TOML }}
-          GCE_CREDENTIALS_PATH: ~/.config/gce_credentials
+          GCE_CREDENTIALS_PATH: $HOME/.config/gce_credentials
         run: |
           ssh-keygen -P "" -q -f ~/.ssh/cloudinit_id_rsa
           mkdir -p ~/.config