338
74%
master: 74%

Ran 17 Jan 2020 10:10AM UTC

Jobs 1

Files 36

Run time 3s

Badge

Embed ▾

pending completion

Build # 338

Build Type

push

buildkite

Committed by Damian Nadales

Commit Message

- Create the formal spec document and `nix` setup to build it in CI. - Propose candidate properties in English prose. - Create the data-automata  library: `datil`. - Add passing tests for most of the ideation properties written down in the   formal specification.

Run Details

855 of 1304 relevant lines covered (65.57%)

0.66 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	338.1	17 Jan 2020 10:10AM UTC	0	65.57

Source Files on build 338

Detailed source file information is not available for this build.

input-output-hk / decentralized-software-updates / 338
74%
master: 74%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 338

input-output-hk / decentralized-software-updates / 338 74% master: 74%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 338

input-output-hk / decentralized-software-updates / 338
74%
master: 74%

README BADGES
x