GC old nightly releases after a new build (pass #3)

dciabrin · May 20, 2023 · 2b49e73 · 2b49e73
1 parent f1fc2cb
commit 2b49e73
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.ci/gc-nightly-releases.sh b/.ci/gc-nightly-releases.sh
@@ -36,7 +36,9 @@ trap cleanup EXIT
 
 # ----------------- options parsing -----------------
 
-GITHUB_TOKEN=${GH_TOKEN:-}
+if [ -z "${GITHUB_TOKEN:-}" ]; then
+    GITHUB_TOKEN=${GH_TOKEN:-}
+fi
 DRYRUN=
 
 while true; do