Mir

mir:gh-readonly-queue/main/pr-2922-352893559031129abba2e2135b2a41d3131c8dbd

Last commit made on 2023-05-15
Get this branch:
git clone -b gh-readonly-queue/main/pr-2922-352893559031129abba2e2135b2a41d3131c8dbd https://git.launchpad.net/mir

Branch merges

Branch information

Name:
gh-readonly-queue/main/pr-2922-352893559031129abba2e2135b2a41d3131c8dbd
Repository:
lp:mir

Recent commits

cd280c6... by Alan Griffiths

Merge pull request #2922 from MirServer/migrate-bors

ci: migrate to merge groups

3528935... by Alan Griffiths

Merge pull request #2927 from MirServer/fix-potential-double-close

platforms/evdev: Handle libinput device rejections better.

d63ca30... by Chris Halse Rogers

platforms/evdev: Handle libinput device rejections better.

When libinput fails to add a device via `libinput_path_add_device` it will already have
called the close-fd hook we provide. We should not try to remove it from the `FdStore`
ourselves; that will (at best) result in `FdStore` generating a warning, or, if the
fatal stars align *just right*, will result in us closing a newly-acquired FD to an
unrelated input device.

942e368... by Michał Sawicz

ci: migrate to merge groups

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