agda
Per-campaign status
| Campaign | Score | Policy | Last run | Last duration | Avg success | Queue |
|---|---|---|---|---|---|---|
| bookworm-backports | 50 | bookworm-backports-agda |
— | — | — |
default
prio 51708
|
| fresh-snapshots | 20 | fresh-snapshots-agda |
— | — | — |
default
prio 68366
|
| lintian-fixes | 80 | lintian-fixes-agda |
push-failed @ {result-push} 2026-11-01T07:55:23.220313 | 253s | — |
default
prio -199271674
|
| scrub-obsolete | 50 | scrub-obsolete-agda |
— | — | — |
default
prio 60820
|
| unchanged | 1 | unchanged-agda |
— | — | — |
default
prio -199857157
|
Recent runs
| Finished | Campaign | Result | Duration | Built | Run id |
|---|---|---|---|---|---|
| 2026-11-01T07:55:23.220313 | lintian-fixes |
push-failed
@ {result-push}
|
253s | — |
1438743e
|