source-academy / js-slang / 5711447058
77%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 133
Run time 3s
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
5711447058

push

github

web-flow 
Enable source module imports in stepper (#1453)

* Enable source module imports in stepper

* remove use of eta-reduction and fix object representation

* add test cases

---------

Co-authored-by: Martin Henz <henz@comp.nus.edu.sg>

3603 of 4773 branches covered (75.49%)

Branch coverage included in aggregate %.

183 of 183 new or added lines in 5 files covered. (100.0%)

10736 of 12526 relevant lines covered (85.71%)

101536.99 hits per line

Jobs
ID Job ID Ran Files Coverage
1 5711447058.1 0
82.89
 GitHub Action Run
Source Files on build 5711447058
Detailed source file information is not available for this build.