|
Ran
|
Jobs
1
|
Files
140
|
Run time
1min
|
Badge
README BADGES
|
push
github
Stepper: Catch and show "name not declared" error (#1608) * add: catch and show SourceRuntimeError * refactor * add: tests * linting * removed unused imports * linting * Revert "linting" This reverts commit ff1c01169. * add comment for getExplanation --------- Co-authored-by: Martin Henz <henz@comp.nus.edu.sg>
3219 of 4360 branches covered (73.83%)
Branch coverage included in aggregate %.
8 of 9 new or added lines in 3 files covered. (88.89%)
10597 of 12644 relevant lines covered (83.81%)
133128.95 hits per line
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 8421495176.1 | 0 |
81.25 |
GitHub Action Run |