diff options
| author | Aleksandr Nogikh <nogikh@google.com> | 2023-04-24 19:52:41 +0200 |
|---|---|---|
| committer | Aleksandr Nogikh <wp32pw@gmail.com> | 2023-04-27 11:42:09 +0200 |
| commit | 703f643f91e8becd2495f1f102346a0b7fa63867 (patch) | |
| tree | c304e8d97b58127b6c539096f7d283d8582d12c8 /pkg/html | |
| parent | cef7cc0993422a96dff2c22d1afc9f87502bb289 (diff) | |
dashboard: support bug labels
Let bug labels come in three flavours:
1) Bug labels with multiple values (e.g. `subsystems`).
2) Bug labels with only one value (e.g. `prio`).
3) Flags.
Let users configure bug labels via email by issuing the following
commands:
#syz set subsystems: abc, def
#syz set no-reminders
#syz unset no-reminders
Also let users set tags for invididual bugs in reported bug lists:
#syz set <1> some-tag
Diffstat (limited to 'pkg/html')
| -rw-r--r-- | pkg/html/pages/style.css | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkg/html/pages/style.css b/pkg/html/pages/style.css index 661886e41..3bff3a9ed 100644 --- a/pkg/html/pages/style.css +++ b/pkg/html/pages/style.css @@ -207,7 +207,7 @@ table td, table th { font-size: 75%; } -.subsystem { +.bug-label { background: white; border: 1pt solid black; display: inline-block; @@ -217,7 +217,7 @@ table td, table th { font-size: small; } -.subsystem a { +.bug-label a { text-decoration: none; color: black; } |