#15
99%

Ran 27 Jul 2022 10:18AM UTC

Jobs 1

Files 14

Run time 7s

Badge

Embed ▾

pending completion

Build # #15

Build Type

push

github-actions

Committed by

web-flow

Commit Message

Add id to resource descriptor (#10)

* Add id to resource descriptor

...as this will allow descriptors to be grouped by the resource they represent, i.e. the code can tell if two descriptors refer to the same resource, _without_ having to inspect the other fields of the descriptors.

Run Details

95 of 98 relevant lines covered (96.94%)

0.97 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	#15.1	27 Jul 2022 10:18AM UTC	0	96.94

Source Files on build #15

Detailed source file information is not available for this build.

creek-service / creek-platform / #15
99%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #15

creek-service / creek-platform / #15 99%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #15

creek-service / creek-platform / #15
99%

README BADGES
x