Skip to content
Open
Show file tree
Hide file tree
Changes from 7 commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
9 changes: 7 additions & 2 deletions .github/workflows/ci.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,12 @@ on:

jobs:
check:
name: "Lint"
name: "check"
runs-on: ubuntu-latest
steps:
- uses: astral-sh/ruff-action@v3
- uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
with:
fetch-depth: 0
persist-credentials: false
Comment on lines +14 to +17

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

very secure, love it


- run: ./ty check . --output-format github
1 change: 1 addition & 0 deletions try.py
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
pow("s")

Check failure on line 1 in try.py

View workflow job for this annotation

GitHub Actions / check

ty (no-matching-overload)

try.py:1:1: no-matching-overload: No overload of function `pow` matches arguments stdlib/builtins.pyi:4239:5: notice: First overload defined here notice: Possible overloads for function `pow`: notice: (base: int, exp: int, mod: int) -> int notice: (base: int, exp: Literal[0], mod: None = None) -> Literal[1] notice: (base: int, exp: Literal[1, 2, 3, 4, 5, ... omitted 20 literals], mod: None = None) -> int notice: (base: int, exp: Literal[-1, -2, -3, -4, -5, ... omitted 15 literals], mod: None = None) -> int | float notice: (base: int, exp: int, mod: None = None) -> Any notice: (base: Literal[1, 2, 3, 4, 5, ... omitted 20 literals], exp: int | float, mod: None = None) -> int | float notice: (base: Literal[-1, -2, -3, -4, -5, ... omitted 15 literals], exp: int | float, mod: None = None) -> int | float | complex notice: (base: int | float, exp: int, mod: None = None) -> int | float notice: (base: int | float, exp: int | float | complex | _SupportsPow2[Any, Any] | _SupportsPow3[Any, Any, Any], mod: None = None) -> Any notice: (base: int | float | complex, exp: int | float | complex | _SupportsPow2[Any, Any] | _SupportsPow3[Any, Any, Any], mod: None = None) -> int | float | complex notice: [_E_contra, _T_co](base: _SupportsPow2[_E_contra, _T_co], exp: _E_contra, mod: None = None) -> _T_co notice: [_E_contra, _T_co](base: _SupportsPow3NoneOnly[_E_contra, _T_co], exp: _E_contra, mod: None = None) -> _T_co notice: [_E_contra, _M_contra, _T_co](base: _SupportsPow3[_E_contra, _M_contra, _T_co], exp: _E_contra, mod: _M_contra) -> _T_co notice: (base: _SupportsPow2[Any, Any] | _SupportsPow3[Any, Any, Any], exp: int | float, mod: None = None) -> Any notice: (base: _SupportsPow2[Any, Any] | _SupportsPow3[Any, Any, Any], exp: int | float | complex, mod: None = None) -> int | float | complex notice: rule `no-matching-overload` is enabled by default
Comment thread
ntBre marked this conversation as resolved.
Binary file added ty
Binary file not shown.
Loading