jmanuel1 / concat / 20182153964

Builds Branch Commit Type Ran Committer Via Coverage
20182153964 mutable-sub Use a bool in Type.equal instead of making new Substitutions object Pull #59 jmanuel1 github
80.52
20181559951 mutable-sub Fix issues found by linters Pull #59 super-linter github
80.54
20181512543 mutable-sub Fix ruff linter errors in concat.typecheck that don't imply big refactors Pull #59 jmanuel1 github
80.54
20148501913 mutable-sub Don't return substitutions from infer Pull #59 jmanuel1 github
80.27
19919397994 master Disable type-abstract error from mypy I want to use abstract types where `type` is expected. push jmanuel1 github
80.72
19919153193 master Merge pull request #58 from jmanuel1/constraint-visitor-pattern push web-flow github
80.72
19919026748 constraint-visitor-pattern Raise AssertionError instead of using assert False Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com> Pull #58 jmanuel1 github
80.72
19918948369 constraint-visitor-pattern Raise AssertionError instead of using assert False Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com> Pull #58 web-flow github
80.72
19918690959 constraint-visitor-pattern Use visitor pattern for subtyping of fixpoints Pull #58 jmanuel1 github
80.72
17485242458 master Merge pull request #57 from jmanuel1/delete-length-method push web-flow github
80.78
17484558867 delete-length-method Fix another static typing error about overloads of `index` Pull #57 jmanuel1 github
80.78
17482434677 delete-length-method Fix issues found by linters Pull #57 super-linter github
80.78
17482399135 delete-length-method Fix errors raised by CI linters Pull #57 jmanuel1 github
80.77
17455466390 delete-length-method Delete `length` method on `Type`, which was used only from tests Pull #57 jmanuel1 github
80.84
17389310768 master Merge pull request #56 from jmanuel1/no-typechecker-globals push web-flow github
80.84