diff options
author | Kornel <kornel@geekhood.net> | 2019-08-28 14:48:20 +0100 |
---|---|---|
committer | Kornel <kornel@geekhood.net> | 2019-08-28 14:48:26 +0100 |
commit | 87338623bdd619d47ebc50fc1309108c9cd4b5a4 (patch) | |
tree | 1e1337f34b57778f5a515600234c6e266a6c4d63 /builder/docker/run.sh | |
parent | cf821d4588eacdeb97890d5cf374f116c4653a39 (diff) |
Docker builder hack
Diffstat (limited to 'builder/docker/run.sh')
-rwxr-xr-x | builder/docker/run.sh | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/builder/docker/run.sh b/builder/docker/run.sh new file mode 100755 index 0000000..7ae2244 --- /dev/null +++ b/builder/docker/run.sh @@ -0,0 +1,17 @@ +#!/bin/bash +set -exuo pipefail + +echo "----SNIP----"; echo >&2 "----SNIP----"; + +rustup show +time cargo check --locked --message-format=json + +echo "----SNIP----"; echo >&2 "----SNIP----"; + +rustup default 1.34.2 +time cargo check --locked --message-format=json + +echo "----SNIP----"; echo >&2 "----SNIP----"; + +rustup default 1.24.1 +time cargo check --locked --message-format=json |