jmanuel1 / concat
81%
master: 81%

LAST BUILD BRANCH: delete-length-method
DEFAULT BRANCH: master
Repo Added
Files 48
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

LAST BUILD ON BRANCH no-typechecker-globals
branch: no-typechecker-globals
CHANGE BRANCH
x

coverage: 80.844% (-0.4%) from 81.291%
17389230717

Pull #56

github

jmanuel1 
Fix more mypy errors
Pull Request #56: Remove type objects from globals and reduce types to WHNF

488 of 581 new or added lines in 7 files covered. (83.99%)

58 existing lines in 6 files now uncovered.

4752 of 5878 relevant lines covered (80.84%)

0.81 hits per line

Relevant lines Covered
5878 RELEVANT LINES 4752 COVERED LINES
0.81 HITS PER LINE
Source Files on no-typechecker-globals

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
17389230717 no-typechecker-globals Fix more mypy errors Pull #56 jmanuel1 github
80.84
17388963799 no-typechecker-globals Address linter errors - fix some mypy errors - fix lints from ruff (excluding complexity lints) - disable "Ambiguous variable name" lint - use `to_user_string` in some error messages and leave a fixme for the others Pull #56 jmanuel1 github
81.03
17354430068 no-typechecker-globals Fix issues found by linters Pull #56 super-linter github
80.88
17354352295 no-typechecker-globals Address comments - Deleted _Substitutable - Fixed typerep forcing in more places - Used to_user_string of components in to_user_string of TypeTuple Pull #56 jmanuel1 github
80.88
17318503877 no-typechecker-globals Apply suggestion from @Copilot Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com> Pull #56 web-flow github
80.82
17318374107 no-typechecker-globals Apply suggestion from @Copilot Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com> Pull #56 web-flow github
80.82
17318347807 no-typechecker-globals Apply suggestion from @Copilot Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com> Pull #56 web-flow github
80.82
17318187245 no-typechecker-globals Move rest of global type objects to type checker Pull #56 jmanuel1 github
80.82
See All Builds (161)