42770556223
88%

Ran 10 Nov 2026 07:01AM UTC

Jobs 1

Files 225

Run time 1min

Badge

Embed ▾

Committed 10 Nov 2026 06:44AM UTC coverage: 88.072% (+0.004%) from 88.068%

Build # 42770556223

Build Type

push

github

Committed by

web-flow

Commit Message

py2js: an entry for the Python autograder to check and run Python §4 Typed programs (#658)

* py2js: an entry for the Python autograder to check and run Python §4 Typed programs

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

* py2js grader entry: erase types as the evaluators of Python §4 Typed do (type-only imports)

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

---------

Co-authored-by: Claude Sonnet 5.5 <noreply@anthropic.com>

Coverage Stats

7661 of 9168 branches covered (83.56%)

Branch coverage included in aggregate %.

14 of 15 new or added lines in 1 file covered. (93.33%)

15886 of 17568 relevant lines covered (90.43%)

252216.7 hits per line

Uncovered Changes

Lines	Coverage	∆	File
1	89.47		src/engines/py2js/grader.ts

Jobs

ID	Job ID	Ran	Files	Coverage
1	42770556223.1	10 Nov 2026 07:01AM UTC	225	88.07	GitHub Action Run

source-academy / py-slang / 42770556223
88%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Changes

Jobs

Source Files on build 42770556223

source-academy / py-slang / 42770556223 88%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Changes

Jobs

Source Files on build 42770556223

source-academy / py-slang / 42770556223
88%

README BADGES
x