Mir

mir:staging

Last commit made on 2023-05-11
Get this branch:
git clone -b staging https://git.launchpad.net/mir

Branch merges

Branch information

Name:
staging
Repository:
lp:mir

Recent commits

4e4ce17... by "bors[bot]" <26634292+bors[bot]@users.noreply.github.com>

Merge #2921

2921: coverage: be informative, not opinionated r=wmww a=Saviq

Co-authored-by: Michał Sawicz (Saviq) <email address hidden>

5103cff... by Michał Sawicz

coverage: be informative, not opinionated

1cffa30... by "bors[bot]" <26634292+bors[bot]@users.noreply.github.com>

Merge #2379

2379: [ci] add coverage reporting r=AlanGriffiths a=Saviq

Co-authored-by: Michał Sawicz <email address hidden>
Co-authored-by: Michał Sawicz (Saviq) <email address hidden>

7637a2b... by Michał Sawicz

coverage: no need for gcovr

The raw report is used instead.

c085674... by Michał Sawicz

coverage: give more time

c7df35b... by Michał Sawicz

coverage: fix fetch depth

b1e6c04... by Michał Sawicz

coverage: set runtime dir

ecdc8d5... by Michał Sawicz

coverage: deal with incompatibles preinstalled

1249315... by Michał Sawicz

coverage: add upterm debugging support

4aace97... by Michał Sawicz

coverage: add concurrency