agda-stdlib
Per-campaign status
| Campaign | Score | Policy | Last run | Last duration | Avg success | Queue |
|---|---|---|---|---|---|---|
| bookworm-backports | 50 | bookworm-backports-agda-stdlib |
— | — | — |
default
prio 38003
|
| fresh-snapshots | 20 | fresh-snapshots-agda-stdlib |
— | — | — |
default
prio 49374
|
| lintian-fixes | 70 | lintian-fixes-agda-stdlib |
— | — | — |
default
prio 30855
|
| scrub-obsolete | 50 | scrub-obsolete-agda-stdlib |
— | — | — |
default
prio 43542
|
| unchanged | 1 | unchanged-agda-stdlib |
— | — | — |
default
prio 54301
|
Recent runs
No runs recorded yet for this codebase.
Merge proposals
| URL | Status | Target | Last scanned |
|---|---|---|---|
| https://salsa.debian.org/haskell-team/agda-stdlib/-/merge_requests/2 |
merged
|
git+ssh://git@salsa.debian.org/haskell-team/agda-stdlib.git,branch=master | — |