Downgrade CI to Debian 8 for glibc 2.19

Closes #1656
2020-05-17 20:45:48 -04:00
parent 8a3466e86f
commit 47d50c9163
7 changed files with 85 additions and 12 deletions
--- a/ci/dev/lint.sh
+++ b/ci/dev/lint.sh
@ -7,7 +7,10 @@ main() {
  eslint --max-warnings=0 --fix $(git ls-files "*.ts" "*.tsx" "*.js")
  stylelint $(git ls-files "*.css")
  tsc --noEmit
-  shellcheck -e SC2046,SC2164,SC2154 $(git ls-files "*.sh")
+  # See comment in ./ci/container/Dockerfile
+  if [[ ! ${CI-} ]]; then
+    shellcheck -e SC2046,SC2164,SC2154 $(git ls-files "*.sh")
+  fi
 }

 main "$@"