Add /runner/:name endpoint

This commit is contained in:
Joscha 2023-08-10 21:26:57 +02:00
parent b5bdd49d9c
commit 0253d2d90b
6 changed files with 79 additions and 26 deletions

View file

@ -21,6 +21,12 @@ a:hover {
font-weight: bold;
}
dl {
display: grid;
grid: auto-flow / min-content 1fr;
column-gap: 1ch;
}
dd {
margin-left: 4ch;
}
@ -116,34 +122,18 @@ nav a:hover {
font-weight: bold;
}
.commit dl {
display: grid;
grid: auto-flow / min-content 1fr;
column-gap: 1ch;
}
.commit pre {
margin: 1em 0ch 1em 4ch;
white-space: pre-wrap;
}
/* Task */
/* Runner */
.task * {
margin: 0;
}
.task .id {
.runner .name {
color: #380;
font-weight: bold;
}
.task dl {
display: grid;
grid: auto-flow / min-content 1fr;
column-gap: 1ch;
}
/* Queue */
.queue td:nth-child(2),