agda
Per-campaign status
| Campaign | Score | Policy | Last run | Last duration | Avg success | Queue |
|---|---|---|---|---|---|---|
| bookworm-backports | 50 | bookworm-backports-agda |
— | — | — |
default
prio 38003
|
| fresh-snapshots | 20 | fresh-snapshots-agda |
— | — | — |
default
prio 49374
|
| lintian-fixes | 80 | lintian-fixes-agda |
— | — | — |
default
prio 29170
|
| scrub-obsolete | 50 | scrub-obsolete-agda |
— | — | — |
default
prio 43542
|
| unchanged | 1 | unchanged-agda |
— | — | — |
default
prio 54301
|
Recent runs
No runs recorded yet for this codebase.