diff options
| author | George Ordish <george.ordish17@imperial.ac.uk> | 2019-09-03 16:00:06 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-01-17 18:36:56 +0000 |
| commit | 83c6487e68824453d961da874381231c58149f5e (patch) | |
| tree | cca2976b6e11e5519d0188d1b8fbd4271aa24d0f /utils | |
| parent | 2b9233c34e73e5191ae932500356fced35ee2ca1 (diff) | |
| download | klee-83c6487e68824453d961da874381231c58149f5e.tar.gz | |
Add script to build and upload Grafana Docker image
Diffstat (limited to 'utils')
| -rwxr-xr-x | utils/grafana/upload.sh | 4 |
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 |