Lou Knauer b7186cb1cd Make jobAvailableMetricsById more flexible
There are more different metrics than I thought. With this
change, the query mentioned above does not care about the
name of the Metric or whether it is part of the JobData type.
2021-04-07 14:46:02 +02:00
..
2021-04-07 09:19:21 +02:00