eprover
Per-campaign status
| Campaign | Score | Policy | Last run | Last duration | Avg success | Queue |
|---|---|---|---|---|---|---|
| bookworm-backports | 50 | — | — | — | — |
default
prio 67610
|
| fresh-snapshots | 20 | fresh-snapshots-eprover |
— | — | — |
default
prio 88243
|
| lintian-fixes | 65 | — | branch-unavailable @ {setup} 2026-07-08T19:57:09.542942 | 137s | 917s |
default
prio -199580169
|
| scrub-obsolete | 50 | — | — | — | — |
default
prio 76722
|
| unchanged | 1 | — | — | — | — |
default
prio -199880416
|
Recent runs
| Finished | Campaign | Result | Duration | Built | Run id |
|---|---|---|---|---|---|
| 2026-07-08T19:57:09.542942 | lintian-fixes |
branch-unavailable
@ {setup}
|
137s | — |
4f7a81cb
|
| 2026-05-07T14:19:59.683239 | control |
missing-phase
@ {build,build}
|
231s | — |
f6cc8f3a
|
| 2026-05-07T12:03:32.822027 | control |
missing-phase
@ {build,build}
|
206s | — |
94c1ae04
|
| 2026-05-03T02:54:37.275474 | lintian-fixes |
success
|
917s |
sid
|
b0b3ce2d
|