ContractAutomataProject / ContractAutomataLib
100%
main: 100%

LAST BUILD BRANCH: newOrchestration
DEFAULT BRANCH: main
Repo Added
Files 49
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

LAST BUILD ON BRANCH 6a09cd85b18e946b4a9aea845e45a2c51fa3439a
branch: 6a09cd85b18e946b4a9aea845e45a2c51fa3439a
CHANGE BRANCH
x

#84

push

davidebasile 
update README.md

Signed-off-by: Davide Basile <davide.basile@isti.cnr.it>

1238 of 1238 relevant lines covered (100.0%)

1.0 hits per line

Relevant lines Covered
1238 RELEVANT LINES 1238 COVERED LINES
1.0 HITS PER LINE
Source Files on 6a09cd85b18e946b4a9aea845e45a2c51fa3439a

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
#84 6a09cd85b18e946b4a9aea845e45a2c51fa3439a update README.md Signed-off-by: Davide Basile <davide.basile@isti.cnr.it> push davidebasile pending completion  
See All Builds (158)