Ran
|
Jobs
1
|
Files
19
|
Run time
2s
|
Badge
Embed ▾
README BADGES
|
github
43 of 43 new or added lines in 3 files covered. (100.0%)
388 of 783 relevant lines covered (49.55%)
107.41 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
5 |
82.14 |
-2.03% | src/expression.jl |
7 |
0.0 |
src/db/index.jl | |
31 |
0.0 |
src/db/expressions_index.jl |
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
68.82 |
0.28% | src/Deductive.jl |
1 |
42.31 |
0.64% | src/proof_utilities.jl |
1 |
0.0 |
0.0% | src/search.jl |
1 |
16.33 |
-0.34% | src/set/set.jl |
2 |
43.82 |
-0.37% | src/manipulation.jl |
2 |
74.42 |
0.06% | src/set/set_equality.jl |
2 |
0.0 |
0.0% | src/transformation_proof.jl |
5 |
45.45 |
-2.0% | src/assertion_proof.jl |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 1734022407.1 | 19 |
49.55 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|