Mir

mir:split-coverage-report

  1. Git
  2. lp:mir
  3. split-coverage-report
Last commit made on 2023-05-08
Get this branch:
git clone -b split-coverage-report https://git.launchpad.net/mir

Branch merges

Branch information

Name:
split-coverage-report
Repository:
lp:mir

Recent commits

90c23ba... by Michał Sawicz

coverage: split coverage by suite

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

0ab4319... by Michał Sawicz

coverage: cleanup