f258dfe52c5dd03ab9e6619fabcb355269b2eca5-PR-1560
71%
main: 18%

Ran 30 Jul 2026 03:03PM UTC

Jobs 1

Files 581

Run time 1min

Badge

Embed ▾

Committed 30 Jul 2026 02:59PM UTC coverage: 71.402%. First build

Build # f258dfe52c5dd03ab9e6619fabcb355269b2eca5-PR-1560

Build Type

Pull #1560

github

Committed by

Dam-99

Commit Message

chore(backend): stop deployment provisioner on device offline

Finally, implement the same edits on deployment provisioners: they now stop
right away if the device is offline, and its supervisor should start a new
one when the device comes back online.

Signed-off-by: Damiano Mason <damiano.mason@secomind.com>

Pull Request Pull Request #1560: chore(backend): stop deployment provisioners on device offline

Coverage Stats

4262 of 5969 relevant lines covered (71.4%)

432.07 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	f258dfe52c5dd03ab9e6619fabcb355269b2eca5-PR-1560.1	30 Jul 2026 03:03PM UTC	581	71.4	GitHub Action Run

edgehog-device-manager / edgehog / f258dfe52c5dd03ab9e6619fabcb355269b2eca5-PR-1560
71%
main: 18%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build f258dfe52c5dd03ab9e6619fabcb355269b2eca5-PR-1560

edgehog-device-manager / edgehog / f258dfe52c5dd03ab9e6619fabcb355269b2eca5-PR-1560 71% main: 18%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build f258dfe52c5dd03ab9e6619fabcb355269b2eca5-PR-1560

edgehog-device-manager / edgehog / f258dfe52c5dd03ab9e6619fabcb355269b2eca5-PR-1560
71%
main: 18%

README BADGES
x