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