1
74%
master: 74%

Ran 17 Jan 2020 10:10AM UTC

Files 36

Run time 3s

Badge

Embed ▾

Committed 17 Jan 2020 10:10AM UTC coverage: 65.567% (-1.9%) from 67.475%

Job # 338.1

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

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 338.1

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 338.1

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

README BADGES
x