From 87338623bdd619d47ebc50fc1309108c9cd4b5a4 Mon Sep 17 00:00:00 2001
From: Kornel <kornel@geekhood.net>
Date: Wed, 28 Aug 2019 14:48:20 +0100
Subject: Docker builder hack

---
 builder/docker/run.sh | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100755 builder/docker/run.sh

(limited to 'builder/docker/run.sh')

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
-- 
cgit v1.2.3