Remove ancient TRAVIS CI checks from build scripts (#1757)

Author: dweindl

scripts/buildAmici.sh

@@ -13,8 +13,7 @@ amici_build_dir="${amici_path}/build"
 mkdir -p "${amici_build_dir}"
 cd "${amici_build_dir}"
 
-if [ "${TRAVIS:-}" = true ] ||
-  [ "${GITHUB_ACTIONS:-}" = true ] ||
+if [ "${GITHUB_ACTIONS:-}" = true ] ||
   [ "${ENABLE_AMICI_DEBUGGING:-}" = TRUE ]; then
   # Running on CI server
   build_type="Debug"
@@ -32,7 +31,7 @@ if [ "${CI_SONARCLOUD:-}" = "TRUE" ]; then
   build-wrapper-linux-x86-64 \
     --out-dir "${amici_path}/bw-output" \
     cmake --build . --parallel
-elif [ "${TRAVIS:-}" = "true" ]; then
+elif [ "${GITHUB_ACTIONS:-}" = "true" ]; then
   cmake --build .
   ${make} python-sdist
 else

scripts/buildSundials.sh

@@ -14,7 +14,7 @@ sundials_build_path="${amici_path}/ThirdParty/sundials/build/"
 cmake=${CMAKE:-cmake}
 make=${MAKE:-make}
 
-if [[ $TRAVIS = true ]]; then
+if [[ $GITHUB_ACTIONS = true ]]; then
   # Running on CI server
   build_type="Debug"
 else