cvc5
Per-campaign status
| Campaign | Score | Policy | Last run | Last duration | Avg success | Queue |
|---|---|---|---|---|---|---|
| bookworm-backports | 50 | bookworm-backports-cvc5 |
branch-unavailable @ {setup} 2026-06-30T04:19:15.922475 | 137s | — | — |
| fresh-snapshots | 20 | fresh-snapshots-cvc5 |
— | — | — |
default
prio 48912
|
| lintian-fixes | 75 | — | branch-unavailable @ {setup} 2026-06-30T14:11:44.956165 | 137s | — |
default
prio -199858880
|
| scrub-obsolete | 50 | — | — | — | — |
default
prio 43274
|
| unchanged | 1 | — | — | — | — |
default
prio -199950080
|
Recent runs
| Finished | Campaign | Result | Duration | Built | Run id |
|---|---|---|---|---|---|
| 2026-06-30T14:11:44.956165 | lintian-fixes |
branch-unavailable
@ {setup}
|
137s | — |
291fca45
|
| 2026-06-30T04:19:15.922475 | bookworm-backports |
branch-unavailable
@ {setup}
|
137s | — |
0e4efff0
|