Repo Added
|
Files
277
|
Badge
README BADGES
|
push
github
5 of 1070 relevant lines covered (0.47%)
0.01 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
1911010036 | fix-boolean-hierarchy-browser | Merge branch 'master' into fix-boolean-hierarchy-browser | push | GitHub | github | pending completion | |
1910875795 | fix-boolean-hierarchy-browser | Try to fix indentation again | push | Christoph Thiede | github | pending completion | |
1910728999 | fix-boolean-hierarchy-browser | Cjange indentation | push | GitHub | github | pending completion | |
1904603084 | fix-boolean-hierarchy-browser | Fix BooleanHiearchyBrowser figure | push | GitHub | github | pending completion | |
1904600620 | fix-boolean-hierarchy-browser | Merge pull request #114 from hpi-swa-lab/editorconfig | push | GitHub | github | pending completion |