coq-doc
Per-campaign status
| Campaign | Score | Policy | Last run | Last duration | Avg success | Queue |
|---|---|---|---|---|---|---|
| bookworm-backports | 50 | bookworm-backports-coq-doc |
— | — | — |
default
prio 5713
|
| fresh-snapshots | 20 | — | — | — | — |
default
prio 8670
|
| lintian-fixes | 80 | — | — | — | — |
default
prio 68277
|
| scrub-obsolete | 50 | — | — | — | — |
default
prio 45085
|
| unchanged | 1 | — | — | — | — |
default
prio 10302
|
Recent runs
No runs recorded yet for this codebase.
Merge proposals
| URL | Status | Target | Last scanned |
|---|---|---|---|
| https://salsa.debian.org/ocaml-team/coq-doc/-/merge_requests/1 |
merged
|
git+ssh://git@salsa.debian.org/ocaml-team/coq-doc.git,branch=master | — |