Merge pull request #17530 from MinaProtocol/dw/bump-up-shellcheck-version-in-ci

CI: use shellcheck 0.10.0

Author: dannywillems

buildkite/src/Jobs/Lint/Bash.dhall

@@ -14,6 +14,8 @@ let Size = ../../Command/Size.dhall
 
 let RunInToolchain = ../../Command/RunInToolchain.dhall
 
+let shellcheckVersion = "v0.10.0"
+
 in  Pipeline.build
       Pipeline.Config::{
       , spec = JobSpec::{
@@ -37,8 +39,10 @@ in  Pipeline.build
                 RunInToolchain.runInToolchain
                   ([] : List Text)
                   (     "sudo apt-get update"
-                    ++  " && sudo apt-get install shellcheck"
-                    ++  " && make check-bash "
+                    ++  " && wget https://github.com/koalaman/shellcheck/releases/download/${shellcheckVersion}/shellcheck-${shellcheckVersion}.linux.x86_64.tar.xz"
+                    ++  " && tar xvf shellcheck-${shellcheckVersion}.linux.x86_64.tar.xz"
+                    ++  " && sudo cp shellcheck-${shellcheckVersion}/shellcheck /usr/local/bin/"
+                    ++  " && make check-bash"
                   )
             , label = "Bash: shellcheck"
             , key = "check-bash"