edgehog-device-manager / edgehog / 9d20f61b2de80dd5ab6a7747869a092f5ec01207-PR-327
83%
main: 81%

LAST BUILD BRANCH: create_application
DEFAULT BRANCH: main
Ran
Jobs 1
Files 183
Run time 9s
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
9d20f61b2de80dd5ab6a7747869a092f5ec01207-PR-327

Pull #327

github

rbino
Pull Request #327: executor_supervisor: fix Mix env check

1400 of 1677 relevant lines covered (83.48%)

147.5 hits per line

Jobs
ID Job ID Ran Files Coverage
1 9d20f61b2de80dd5ab6a7747869a092f5ec01207-PR-327.1 183
83.48
 GitHub Action Run
Source Files on build 9d20f61b2de80dd5ab6a7747869a092f5ec01207-PR-327