about summary refs log tree commit diff homepage
path: root/utils
diff options
context:
space:
mode:
authorGeorge Ordish <george.ordish17@imperial.ac.uk>2019-09-03 16:00:06 +0100
committerCristian Cadar <c.cadar@imperial.ac.uk>2020-01-17 18:36:56 +0000
commit83c6487e68824453d961da874381231c58149f5e (patch)
treecca2976b6e11e5519d0188d1b8fbd4271aa24d0f /utils
parent2b9233c34e73e5191ae932500356fced35ee2ca1 (diff)
downloadklee-83c6487e68824453d961da874381231c58149f5e.tar.gz
Add script to build and upload Grafana Docker image
Diffstat (limited to 'utils')
-rwxr-xr-xutils/grafana/upload.sh4
1 files changed, 4 insertions, 0 deletions
diff --git a/utils/grafana/upload.sh b/utils/grafana/upload.sh
new file mode 100755
index 00000000..0e5a4d25
--- /dev/null
+++ b/utils/grafana/upload.sh
@@ -0,0 +1,4 @@
+#!/bin/bash
+
+docker build -t klee/grafana .
+docker push klee/grafana