Check $CI env variable when setting up paths

This improves compatibility across CI providers
hpi-swa · Feb 15, 2021 · 37d8a3f · 37d8a3f
1 parent 5074982
commit 37d8a3f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/env_vars b/env_vars
@@ -3,7 +3,7 @@ if [[ -z "${SMALLTALK_CI_HOME:-}" ]]; then
 fi
 
 export SMALLTALK_CI_BUILD_BASE="${SMALLTALK_CI_HOME}/_builds"
-if [[ -z "${TRAVIS:-${APPVEYOR:-${GITHUB_ACTIONS:-}}}" ]]; then
+if [[ -z "${TRAVIS:-${APPVEYOR:-${GITHUB_ACTIONS:-${CI:-}}}}" ]]; then
   export SMALLTALK_CI_BUILD="${SMALLTALK_CI_BUILD_BASE}/$(date "+%Y_%m_%d_%H_%M_%S")"
 else
   export SMALLTALK_CI_BUILD="${SMALLTALK_CI_BUILD_BASE}"