2022-06-22 11:20:57 +02:00
|
|
|
<script>
|
2023-07-03 09:37:25 +02:00
|
|
|
import {
|
|
|
|
init,
|
|
|
|
groupByScope,
|
|
|
|
fetchMetricsStore,
|
|
|
|
checkMetricDisabled,
|
2023-09-05 11:46:34 +02:00
|
|
|
transformDataForRoofline
|
2023-07-03 09:37:25 +02:00
|
|
|
} from "./utils.js";
|
|
|
|
import {
|
|
|
|
Row,
|
|
|
|
Col,
|
|
|
|
Card,
|
|
|
|
Spinner,
|
|
|
|
TabContent,
|
|
|
|
TabPane,
|
|
|
|
CardBody,
|
|
|
|
CardHeader,
|
|
|
|
CardTitle,
|
|
|
|
Button,
|
|
|
|
Icon,
|
|
|
|
} from "sveltestrap";
|
|
|
|
import PlotTable from "./PlotTable.svelte";
|
|
|
|
import Metric from "./Metric.svelte";
|
2023-08-10 12:05:02 +02:00
|
|
|
import Polar from "./plots/Polar.svelte";
|
2023-07-03 09:37:25 +02:00
|
|
|
import Roofline from "./plots/Roofline.svelte";
|
|
|
|
import JobInfo from "./joblist/JobInfo.svelte";
|
|
|
|
import TagManagement from "./TagManagement.svelte";
|
|
|
|
import MetricSelection from "./MetricSelection.svelte";
|
|
|
|
import StatsTable from "./StatsTable.svelte";
|
|
|
|
import { getContext } from "svelte";
|
2022-06-22 11:20:57 +02:00
|
|
|
|
2023-07-03 09:37:25 +02:00
|
|
|
export let dbid;
|
|
|
|
export let authlevel;
|
|
|
|
export let roles;
|
2022-06-22 11:20:57 +02:00
|
|
|
|
2023-08-03 19:09:15 +02:00
|
|
|
const accMetrics = ['acc_utilization', 'acc_mem_used', 'acc_power', 'nv_mem_util', 'nv_sm_clock', 'nv_temp'];
|
2023-08-04 10:54:18 +02:00
|
|
|
let accNodeOnly
|
2023-08-03 19:09:15 +02:00
|
|
|
|
2022-06-22 11:20:57 +02:00
|
|
|
const { query: initq } = init(`
|
|
|
|
job(id: "${dbid}") {
|
|
|
|
id, jobId, user, project, cluster, startTime,
|
|
|
|
duration, numNodes, numHWThreads, numAcc,
|
|
|
|
SMT, exclusive, partition, subCluster, arrayJobId,
|
|
|
|
monitoringStatus, state, walltime,
|
|
|
|
tags { id, type, name },
|
|
|
|
resources { hostname, hwthreads, accelerators },
|
2023-05-16 12:42:06 +02:00
|
|
|
metaData,
|
|
|
|
userData { name, email },
|
2023-06-29 14:59:51 +02:00
|
|
|
concurrentJobs { items { id, jobId }, count, listQuery }
|
2022-06-22 11:20:57 +02:00
|
|
|
}
|
2023-07-03 09:37:25 +02:00
|
|
|
`);
|
2022-06-22 11:20:57 +02:00
|
|
|
|
2023-07-03 09:37:25 +02:00
|
|
|
const ccconfig = getContext("cc-config"),
|
2023-07-17 14:26:24 +02:00
|
|
|
clusters = getContext("clusters"),
|
|
|
|
metrics = getContext("metrics")
|
2022-06-22 11:20:57 +02:00
|
|
|
|
2023-07-03 09:37:25 +02:00
|
|
|
let isMetricsSelectionOpen = false,
|
|
|
|
selectedMetrics = [],
|
|
|
|
isFetched = new Set();
|
|
|
|
const [jobMetrics, startFetching] = fetchMetricsStore();
|
|
|
|
getContext("on-init")(() => {
|
|
|
|
let job = $initq.data.job;
|
|
|
|
if (!job) return;
|
2022-06-22 11:20:57 +02:00
|
|
|
|
2023-07-03 09:37:25 +02:00
|
|
|
selectedMetrics =
|
|
|
|
ccconfig[`job_view_selectedMetrics:${job.cluster}`] ||
|
|
|
|
clusters
|
|
|
|
.find((c) => c.name == job.cluster)
|
|
|
|
.metricConfig.map((mc) => mc.name);
|
2022-07-08 11:51:58 +02:00
|
|
|
|
2022-07-08 12:23:24 +02:00
|
|
|
let toFetch = new Set([
|
2023-07-03 09:37:25 +02:00
|
|
|
"flops_any",
|
|
|
|
"mem_bw",
|
2022-07-08 12:23:24 +02:00
|
|
|
...selectedMetrics,
|
2023-07-03 09:37:25 +02:00
|
|
|
...(ccconfig[`job_view_polarPlotMetrics:${job.cluster}`] ||
|
|
|
|
ccconfig[`job_view_polarPlotMetrics`]),
|
|
|
|
...(ccconfig[`job_view_nodestats_selectedMetrics:${job.cluster}`] ||
|
|
|
|
ccconfig[`job_view_nodestats_selectedMetrics`]),
|
|
|
|
]);
|
2022-07-08 11:51:58 +02:00
|
|
|
|
2023-07-17 14:26:24 +02:00
|
|
|
// Select default Scopes to load: Check before if accelerator metrics are not on accelerator scope by default
|
2023-08-04 10:54:18 +02:00
|
|
|
accNodeOnly = [...toFetch].some(function(m) {
|
2023-07-17 14:26:24 +02:00
|
|
|
if (accMetrics.includes(m)) {
|
|
|
|
const mc = metrics(job.cluster, m)
|
|
|
|
return mc.scope !== 'accelerator'
|
|
|
|
} else {
|
|
|
|
return false
|
|
|
|
}
|
|
|
|
})
|
|
|
|
|
|
|
|
if (job.numAcc === 0 || accNodeOnly === true) {
|
|
|
|
// No Accels or Accels on Node Scope
|
2023-07-03 09:37:25 +02:00
|
|
|
startFetching(
|
|
|
|
job,
|
|
|
|
[...toFetch],
|
|
|
|
job.numNodes > 2 ? ["node"] : ["node", "core"]
|
|
|
|
);
|
|
|
|
} else {
|
2023-07-17 14:26:24 +02:00
|
|
|
// Accels and not on node scope
|
2023-07-03 09:37:25 +02:00
|
|
|
startFetching(
|
|
|
|
job,
|
|
|
|
[...toFetch],
|
|
|
|
job.numNodes > 2
|
|
|
|
? ["node", "accelerator"]
|
|
|
|
: ["node", "accelerator", "core"]
|
|
|
|
);
|
2023-06-14 17:28:40 +02:00
|
|
|
}
|
2023-07-03 09:37:25 +02:00
|
|
|
|
|
|
|
isFetched = toFetch;
|
|
|
|
});
|
2022-06-22 11:20:57 +02:00
|
|
|
|
2022-07-08 12:23:24 +02:00
|
|
|
const lazyFetchMoreMetrics = () => {
|
2023-07-03 09:37:25 +02:00
|
|
|
let notYetFetched = new Set();
|
2022-07-08 12:23:24 +02:00
|
|
|
for (let m of selectedMetrics) {
|
|
|
|
if (!isFetched.has(m)) {
|
2023-07-03 09:37:25 +02:00
|
|
|
notYetFetched.add(m);
|
|
|
|
isFetched.add(m);
|
2022-07-08 12:23:24 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
if (notYetFetched.size > 0)
|
2023-07-03 09:37:25 +02:00
|
|
|
startFetching(
|
|
|
|
$initq.data.job,
|
|
|
|
[...notYetFetched],
|
|
|
|
$initq.data.job.numNodes > 2 ? ["node"] : ["node", "core"]
|
|
|
|
);
|
|
|
|
};
|
2022-07-08 12:23:24 +02:00
|
|
|
|
|
|
|
// Fetch more data once required:
|
2023-07-03 09:37:25 +02:00
|
|
|
$: if ($initq.data && $jobMetrics.data && selectedMetrics)
|
|
|
|
lazyFetchMoreMetrics();
|
2022-07-08 12:23:24 +02:00
|
|
|
|
2023-07-03 09:37:25 +02:00
|
|
|
let plots = {},
|
|
|
|
jobTags,
|
|
|
|
statsTable;
|
|
|
|
$: document.title = $initq.fetching
|
|
|
|
? "Loading..."
|
|
|
|
: $initq.error
|
|
|
|
? "Error"
|
|
|
|
: `Job ${$initq.data.job.jobId} - ClusterCockpit`;
|
2022-06-22 11:20:57 +02:00
|
|
|
|
2022-07-08 11:51:58 +02:00
|
|
|
// Find out what metrics or hosts are missing:
|
2023-07-03 09:37:25 +02:00
|
|
|
let missingMetrics = [],
|
|
|
|
missingHosts = [],
|
|
|
|
somethingMissing = false;
|
2022-06-22 11:20:57 +02:00
|
|
|
$: if ($initq.data && $jobMetrics.data) {
|
|
|
|
let job = $initq.data.job,
|
|
|
|
metrics = $jobMetrics.data.jobMetrics,
|
2023-07-03 09:37:25 +02:00
|
|
|
metricNames = clusters
|
|
|
|
.find((c) => c.name == job.cluster)
|
|
|
|
.metricConfig.map((mc) => mc.name);
|
2022-06-22 11:20:57 +02:00
|
|
|
|
2023-06-19 10:25:34 +02:00
|
|
|
// Metric not found in JobMetrics && Metric not explicitly disabled: Was expected, but is Missing
|
2023-07-03 09:37:25 +02:00
|
|
|
missingMetrics = metricNames.filter(
|
|
|
|
(metric) =>
|
|
|
|
!metrics.some((jm) => jm.name == metric) &&
|
|
|
|
!checkMetricDisabled(
|
|
|
|
metric,
|
|
|
|
$initq.data.job.cluster,
|
|
|
|
$initq.data.job.subCluster
|
|
|
|
)
|
|
|
|
);
|
|
|
|
missingHosts = job.resources
|
|
|
|
.map(({ hostname }) => ({
|
|
|
|
hostname: hostname,
|
|
|
|
metrics: metricNames.filter(
|
|
|
|
(metric) =>
|
|
|
|
!metrics.some(
|
|
|
|
(jm) =>
|
|
|
|
jm.scope == "node" &&
|
|
|
|
jm.metric.series.some(
|
|
|
|
(series) => series.hostname == hostname
|
|
|
|
)
|
|
|
|
)
|
|
|
|
),
|
|
|
|
}))
|
|
|
|
.filter(({ metrics }) => metrics.length > 0);
|
|
|
|
somethingMissing = missingMetrics.length > 0 || missingHosts.length > 0;
|
2022-06-22 11:20:57 +02:00
|
|
|
}
|
|
|
|
|
2023-07-03 09:37:25 +02:00
|
|
|
const orderAndMap = (grouped, selectedMetrics) =>
|
|
|
|
selectedMetrics.map((metric) => ({
|
2023-06-16 16:27:30 +02:00
|
|
|
metric: metric,
|
2023-07-03 09:37:25 +02:00
|
|
|
data: grouped.find((group) => group[0].name == metric),
|
|
|
|
disabled: checkMetricDisabled(
|
|
|
|
metric,
|
|
|
|
$initq.data.job.cluster,
|
|
|
|
$initq.data.job.subCluster
|
2023-06-16 16:27:30 +02:00
|
|
|
),
|
2023-07-03 09:37:25 +02:00
|
|
|
}));
|
2022-06-22 11:20:57 +02:00
|
|
|
</script>
|
|
|
|
|
|
|
|
<Row>
|
|
|
|
<Col>
|
|
|
|
{#if $initq.error}
|
|
|
|
<Card body color="danger">{$initq.error.message}</Card>
|
|
|
|
{:else if $initq.data}
|
2023-07-03 09:37:25 +02:00
|
|
|
<JobInfo job={$initq.data.job} {jobTags} />
|
2022-06-22 11:20:57 +02:00
|
|
|
{:else}
|
2023-07-03 09:37:25 +02:00
|
|
|
<Spinner secondary />
|
2022-06-22 11:20:57 +02:00
|
|
|
{/if}
|
|
|
|
</Col>
|
|
|
|
{#if $jobMetrics.data && $initq.data}
|
2023-07-03 09:37:25 +02:00
|
|
|
{#if $initq.data.job.concurrentJobs != null && $initq.data.job.concurrentJobs.items.length != 0}
|
2023-06-01 15:13:12 +02:00
|
|
|
{#if authlevel > roles.manager}
|
|
|
|
<Col>
|
2023-07-03 09:37:25 +02:00
|
|
|
<h5>
|
|
|
|
Concurrent Jobs <Icon
|
|
|
|
name="info-circle"
|
|
|
|
style="cursor:help;"
|
|
|
|
title="Shared jobs running on the same node with overlapping runtimes"
|
|
|
|
/>
|
|
|
|
</h5>
|
2023-06-01 15:13:12 +02:00
|
|
|
<ul>
|
2023-07-03 09:37:25 +02:00
|
|
|
<li>
|
|
|
|
<a
|
|
|
|
href="/monitoring/jobs/?{$initq.data.job
|
|
|
|
.concurrentJobs.listQuery}"
|
|
|
|
target="_blank">See All</a
|
|
|
|
>
|
|
|
|
</li>
|
|
|
|
{#each $initq.data.job.concurrentJobs.items as pjob, index}
|
|
|
|
<li>
|
|
|
|
<a
|
|
|
|
href="/monitoring/job/{pjob.id}"
|
|
|
|
target="_blank">{pjob.jobId}</a
|
|
|
|
>
|
|
|
|
</li>
|
|
|
|
{/each}
|
2023-06-01 15:13:12 +02:00
|
|
|
</ul>
|
|
|
|
</Col>
|
|
|
|
{:else}
|
|
|
|
<Col>
|
2023-07-03 09:37:25 +02:00
|
|
|
<h5>
|
|
|
|
{$initq.data.job.concurrentJobs.items.length} Concurrent
|
|
|
|
Jobs
|
|
|
|
</h5>
|
|
|
|
<p>
|
|
|
|
Number of shared jobs on the same node with overlapping
|
|
|
|
runtimes.
|
|
|
|
</p>
|
2023-06-01 15:13:12 +02:00
|
|
|
</Col>
|
|
|
|
{/if}
|
2023-05-16 12:42:06 +02:00
|
|
|
{/if}
|
2022-06-22 11:20:57 +02:00
|
|
|
<Col>
|
2023-08-10 12:05:02 +02:00
|
|
|
<Polar
|
2023-07-03 09:37:25 +02:00
|
|
|
metrics={ccconfig[
|
|
|
|
`job_view_polarPlotMetrics:${$initq.data.job.cluster}`
|
|
|
|
] || ccconfig[`job_view_polarPlotMetrics`]}
|
2022-06-22 11:20:57 +02:00
|
|
|
cluster={$initq.data.job.cluster}
|
2023-07-03 09:37:25 +02:00
|
|
|
jobMetrics={$jobMetrics.data.jobMetrics}
|
|
|
|
/>
|
2022-06-22 11:20:57 +02:00
|
|
|
</Col>
|
|
|
|
<Col>
|
2023-09-05 14:55:36 +02:00
|
|
|
<Roofline
|
|
|
|
renderTime={true}
|
|
|
|
cluster={clusters
|
|
|
|
.find((c) => c.name == $initq.data.job.cluster)
|
|
|
|
.subClusters.find(
|
|
|
|
(sc) => sc.name == $initq.data.job.subCluster
|
|
|
|
)}
|
|
|
|
data={
|
|
|
|
transformDataForRoofline (
|
|
|
|
$jobMetrics.data.jobMetrics.find((m) => m.name == "flops_any" && m.scope == "node").metric,
|
|
|
|
$jobMetrics.data.jobMetrics.find((m) => m.name == "mem_bw" && m.scope == "node").metric
|
|
|
|
)
|
|
|
|
}
|
|
|
|
/>
|
2022-06-22 11:20:57 +02:00
|
|
|
</Col>
|
|
|
|
{:else}
|
2023-07-03 09:37:25 +02:00
|
|
|
<Col />
|
|
|
|
<Col />
|
2022-06-22 11:20:57 +02:00
|
|
|
{/if}
|
|
|
|
</Row>
|
2023-09-05 15:15:09 +02:00
|
|
|
<Row class="mb-3">
|
2022-06-22 11:20:57 +02:00
|
|
|
<Col xs="auto">
|
|
|
|
{#if $initq.data}
|
2023-07-03 09:37:25 +02:00
|
|
|
<TagManagement job={$initq.data.job} bind:jobTags />
|
2022-06-22 11:20:57 +02:00
|
|
|
{/if}
|
|
|
|
</Col>
|
|
|
|
<Col xs="auto">
|
|
|
|
{#if $initq.data}
|
2023-07-03 09:37:25 +02:00
|
|
|
<Button outline on:click={() => (isMetricsSelectionOpen = true)}>
|
|
|
|
<Icon name="graph-up" /> Metrics
|
2022-06-22 11:20:57 +02:00
|
|
|
</Button>
|
|
|
|
{/if}
|
|
|
|
</Col>
|
2023-07-24 11:12:22 +02:00
|
|
|
<!-- <Col xs="auto">
|
2022-06-22 11:20:57 +02:00
|
|
|
<Zoom timeseriesPlots={plots} />
|
2023-07-24 11:12:22 +02:00
|
|
|
</Col> -->
|
2022-06-22 11:20:57 +02:00
|
|
|
</Row>
|
|
|
|
<Row>
|
|
|
|
<Col>
|
|
|
|
{#if $jobMetrics.error}
|
|
|
|
{#if $initq.data.job.monitoringStatus == 0 || $initq.data.job.monitoringStatus == 2}
|
2023-07-03 09:37:25 +02:00
|
|
|
<Card body color="warning"
|
|
|
|
>Not monitored or archiving failed</Card
|
|
|
|
>
|
|
|
|
<br />
|
2022-06-22 11:20:57 +02:00
|
|
|
{/if}
|
|
|
|
<Card body color="danger">{$jobMetrics.error.message}</Card>
|
|
|
|
{:else if $jobMetrics.fetching}
|
2023-07-03 09:37:25 +02:00
|
|
|
<Spinner secondary />
|
2022-06-22 11:20:57 +02:00
|
|
|
{:else if $jobMetrics.data && $initq.data}
|
|
|
|
<PlotTable
|
|
|
|
let:item
|
|
|
|
let:width
|
2023-06-19 16:11:16 +02:00
|
|
|
renderFor="job"
|
2023-07-03 09:37:25 +02:00
|
|
|
items={orderAndMap(
|
|
|
|
groupByScope($jobMetrics.data.jobMetrics),
|
|
|
|
selectedMetrics
|
|
|
|
)}
|
|
|
|
itemsPerRow={ccconfig.plot_view_plotsPerRow}
|
|
|
|
>
|
2022-06-22 11:20:57 +02:00
|
|
|
{#if item.data}
|
|
|
|
<Metric
|
|
|
|
bind:this={plots[item.metric]}
|
2023-07-03 09:37:25 +02:00
|
|
|
on:more-loaded={({ detail }) =>
|
|
|
|
statsTable.moreLoaded(detail)}
|
2022-06-22 11:20:57 +02:00
|
|
|
job={$initq.data.job}
|
2023-03-30 15:21:35 +02:00
|
|
|
metricName={item.metric}
|
2023-07-03 09:37:25 +02:00
|
|
|
rawData={item.data.map((x) => x.metric)}
|
|
|
|
scopes={item.data.map((x) => x.scope)}
|
|
|
|
{width}
|
|
|
|
isShared={$initq.data.job.exclusive != 1}
|
2023-08-08 13:27:01 +02:00
|
|
|
resources={$initq.data.job.resources}
|
2023-07-03 09:37:25 +02:00
|
|
|
/>
|
2022-06-22 11:20:57 +02:00
|
|
|
{:else}
|
2023-07-03 09:37:25 +02:00
|
|
|
<Card body color="warning"
|
|
|
|
>No dataset returned for <code>{item.metric}</code
|
|
|
|
></Card
|
|
|
|
>
|
2022-06-22 11:20:57 +02:00
|
|
|
{/if}
|
|
|
|
</PlotTable>
|
|
|
|
{/if}
|
|
|
|
</Col>
|
|
|
|
</Row>
|
2023-09-05 15:17:39 +02:00
|
|
|
<Row class="mt-2">
|
2022-06-22 11:20:57 +02:00
|
|
|
<Col>
|
|
|
|
{#if $initq.data}
|
2023-07-03 09:37:25 +02:00
|
|
|
<TabContent>
|
|
|
|
{#if somethingMissing}
|
|
|
|
<TabPane
|
|
|
|
tabId="resources"
|
|
|
|
tab="Resources"
|
|
|
|
active={somethingMissing}
|
|
|
|
>
|
|
|
|
<div style="margin: 10px;">
|
|
|
|
<Card color="warning">
|
|
|
|
<CardHeader>
|
|
|
|
<CardTitle
|
|
|
|
>Missing Metrics/Reseources</CardTitle
|
|
|
|
>
|
|
|
|
</CardHeader>
|
|
|
|
<CardBody>
|
|
|
|
{#if missingMetrics.length > 0}
|
|
|
|
<p>
|
|
|
|
No data at all is available for the
|
|
|
|
metrics: {missingMetrics.join(", ")}
|
|
|
|
</p>
|
|
|
|
{/if}
|
|
|
|
{#if missingHosts.length > 0}
|
|
|
|
<p>
|
|
|
|
Some metrics are missing for the
|
|
|
|
following hosts:
|
|
|
|
</p>
|
|
|
|
<ul>
|
|
|
|
{#each missingHosts as missing}
|
|
|
|
<li>
|
|
|
|
{missing.hostname}: {missing.metrics.join(
|
|
|
|
", "
|
|
|
|
)}
|
|
|
|
</li>
|
|
|
|
{/each}
|
|
|
|
</ul>
|
|
|
|
{/if}
|
|
|
|
</CardBody>
|
|
|
|
</Card>
|
|
|
|
</div>
|
|
|
|
</TabPane>
|
2022-06-22 11:20:57 +02:00
|
|
|
{/if}
|
2023-07-03 09:37:25 +02:00
|
|
|
<TabPane
|
|
|
|
tabId="stats"
|
|
|
|
tab="Statistics Table"
|
|
|
|
active={!somethingMissing}
|
|
|
|
>
|
|
|
|
{#if $jobMetrics.data}
|
|
|
|
{#key $jobMetrics.data}
|
|
|
|
<StatsTable
|
|
|
|
bind:this={statsTable}
|
|
|
|
job={$initq.data.job}
|
|
|
|
jobMetrics={$jobMetrics.data.jobMetrics}
|
2023-08-03 19:09:15 +02:00
|
|
|
accMetrics={accMetrics}
|
2023-08-04 10:54:18 +02:00
|
|
|
accNodeOnly={accNodeOnly}
|
2023-07-03 09:37:25 +02:00
|
|
|
/>
|
|
|
|
{/key}
|
2022-06-22 11:20:57 +02:00
|
|
|
{/if}
|
2023-07-03 09:37:25 +02:00
|
|
|
</TabPane>
|
|
|
|
<TabPane tabId="job-script" tab="Job Script">
|
|
|
|
<div class="pre-wrapper">
|
|
|
|
{#if $initq.data.job.metaData?.jobScript}
|
|
|
|
<pre><code
|
|
|
|
>{$initq.data.job.metaData?.jobScript}</code
|
|
|
|
></pre>
|
|
|
|
{:else}
|
|
|
|
<Card body color="warning"
|
|
|
|
>No job script available</Card
|
|
|
|
>
|
|
|
|
{/if}
|
|
|
|
</div>
|
|
|
|
</TabPane>
|
|
|
|
<TabPane tabId="slurm-info" tab="Slurm Info">
|
|
|
|
<div class="pre-wrapper">
|
|
|
|
{#if $initq.data.job.metaData?.slurmInfo}
|
|
|
|
<pre><code
|
|
|
|
>{$initq.data.job.metaData?.slurmInfo}</code
|
|
|
|
></pre>
|
|
|
|
{:else}
|
|
|
|
<Card body color="warning"
|
|
|
|
>No additional slurm information available</Card
|
|
|
|
>
|
|
|
|
{/if}
|
|
|
|
</div>
|
|
|
|
</TabPane>
|
|
|
|
</TabContent>
|
2022-06-22 11:20:57 +02:00
|
|
|
{/if}
|
|
|
|
</Col>
|
|
|
|
</Row>
|
|
|
|
|
|
|
|
{#if $initq.data}
|
|
|
|
<MetricSelection
|
|
|
|
cluster={$initq.data.job.cluster}
|
|
|
|
configName="job_view_selectedMetrics"
|
|
|
|
bind:metrics={selectedMetrics}
|
2023-07-03 09:37:25 +02:00
|
|
|
bind:isOpen={isMetricsSelectionOpen}
|
|
|
|
/>
|
2022-06-22 11:20:57 +02:00
|
|
|
{/if}
|
|
|
|
|
|
|
|
<style>
|
|
|
|
.pre-wrapper {
|
|
|
|
font-size: 1.1rem;
|
|
|
|
margin: 10px;
|
|
|
|
border: 1px solid #bbb;
|
|
|
|
border-radius: 5px;
|
|
|
|
padding: 5px;
|
|
|
|
}
|
2023-05-16 12:42:06 +02:00
|
|
|
|
|
|
|
ul {
|
|
|
|
columns: 2;
|
|
|
|
-webkit-columns: 2;
|
|
|
|
-moz-columns: 2;
|
|
|
|
}
|
2022-06-22 11:20:57 +02:00
|
|
|
</style>
|