From 51d45ba0f5b021ca10ac79170a1ab0f6274a3a80 Mon Sep 17 00:00:00 2001
From: Paride Legovini <paride@ubuntu.com>
Date: Mon, 19 Feb 2024 18:54:04 +0100
Subject: [PATCH] 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.
---
 .github/workflows/main_check.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/main_check.yaml b/.github/workflows/main_check.yaml
index 5304f862..3b1f448a 100644
--- 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