diff options
Diffstat (limited to 'utils')
| -rw-r--r-- | utils/grafana/datasource.yml | 2 | ||||
| -rw-r--r-- | utils/grafana/klee_dashboard.json | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/utils/grafana/datasource.yml b/utils/grafana/datasource.yml index e568c326..13a61406 100644 --- a/utils/grafana/datasource.yml +++ b/utils/grafana/datasource.yml @@ -3,7 +3,7 @@ apiVersion: 1 datasources: # <string, required> name of the datasource. Required -- name: Klee Stats +- name: KLEE Stats # <string, required> datasource type. Required type: grafana-simple-json-datasource # <string, required> access mode. proxy or direct (Server or Browser in the UI). Required diff --git a/utils/grafana/klee_dashboard.json b/utils/grafana/klee_dashboard.json index 3b653bab..cbe71b6c 100644 --- a/utils/grafana/klee_dashboard.json +++ b/utils/grafana/klee_dashboard.json @@ -188,7 +188,7 @@ "#B877D9", "#d44a3a" ], - "datasource": "Klee Stats", + "datasource": "KLEE Stats", "format": "locale", "gauge": { "maxValue": 100, |