7061b265046281f08cf9e690b0d94bb6030caa79-PR-1534
71%
main: 71%

Ran 07 Jul 2026 09:23AM UTC

Jobs 1

Files 555

Run time 1min

Badge

Embed ▾

Committed 07 Jul 2026 09:14AM UTC coverage: 71.147% (+53.2%) from 17.99%

Build # 7061b265046281f08cf9e690b0d94bb6030caa79-PR-1534

Build Type

Pull #1534

github

Committed by

lusergit

Commit Message

chore: send device request ids to the device

Device request ids are not yet implemented, sending an empty list to the device

Signed-off-by: Luca Zaninotto <luca.zaninotto@secomind.com>

Pull Request Pull Request #1534: chore: update interfaces to latest commit on main

Coverage Stats

3605 of 5067 relevant lines covered (71.15%)

493.85 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	7061b265046281f08cf9e690b0d94bb6030caa79-PR-1534.1	07 Jul 2026 09:23AM UTC	555	71.15	GitHub Action Run

edgehog-device-manager / edgehog / 7061b265046281f08cf9e690b0d94bb6030caa79-PR-1534
71%
main: 71%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 7061b265046281f08cf9e690b0d94bb6030caa79-PR-1534

edgehog-device-manager / edgehog / 7061b265046281f08cf9e690b0d94bb6030caa79-PR-1534 71% main: 71%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 7061b265046281f08cf9e690b0d94bb6030caa79-PR-1534

edgehog-device-manager / edgehog / 7061b265046281f08cf9e690b0d94bb6030caa79-PR-1534
71%
main: 71%

README BADGES
x