Ran
|
Jobs
1
|
Files
17
|
Run time
4s
|
Badge
Embed ▾
README BADGES
|
push
github
347 of 730 relevant lines covered (47.53%)
44.69 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
35.71 |
-2.75% | src/utils.jl |
3 |
0.0 |
-23.08% | src/inference_rules.jl |
4 |
39.33 |
-4.49% | src/manipulation.jl |
8 |
65.12 |
-9.3% | src/set/set_equality.jl |
38 |
58.06 |
-4.96% | src/Deductive.jl |
53 |
0.0 |
-63.83% | src/assertion_proof.jl |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 1730910927.1 | 17 |
47.53 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|