Skip to content

Actions: python/mypy

Check documentation build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,191 workflow runs
1,191 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

reduce frequency of pre-commit.ci autoupdate PRs (#15798)
Check documentation build #2577: Commit 54bc37c pushed by JelleZijlstra
August 1, 2023 14:59 51s master
August 1, 2023 14:59 51s
Update pre-commit deps (#15784)
Check documentation build #2576: Commit cb81325 pushed by sobolevn
July 30, 2023 15:48 58s master
July 30, 2023 15:48 58s
Change tuple[] repr to tuple[()] (#15783)
Check documentation build #2575: Commit d71afbf pushed by sobolevn
July 30, 2023 13:53 56s master
July 30, 2023 13:53 56s
Fix inference for attrs.fields (#15688)
Check documentation build #2574: Commit 002502a pushed by hauntsaninja
July 29, 2023 22:13 45s master
July 29, 2023 22:13 45s
Better tox configuration (#15777)
Check documentation build #2573: Commit 710ad44 pushed by sobolevn
July 29, 2023 21:50 57s master
July 29, 2023 21:50 57s
Raise RuntimeError with better error messages (#15778)
Check documentation build #2572: Commit 8792ff1 pushed by sobolevn
July 29, 2023 19:33 1m 1s master
July 29, 2023 19:33 1m 1s
Remove the Python 37 environment from the tox.ini (#15693)
Check documentation build #2571: Commit 6040b23 pushed by sobolevn
July 29, 2023 16:55 51s master
July 29, 2023 16:55 51s
[stubtest] Test NamedTuple definitions with default fields (#15774)
Check documentation build #2570: Commit 14efdf2 pushed by sobolevn
July 29, 2023 11:47 46s master
July 29, 2023 11:47 46s
Correctly narrow types for tuple[type[X], ...] (#15691)
Check documentation build #2569: Commit da1853f pushed by sobolevn
July 29, 2023 08:05 1m 3s master
July 29, 2023 08:05 1m 3s
[stubgen] Add required ... rhs to NamedTuple fields with default …
Check documentation build #2568: Commit a8467c4 pushed by sobolevn
July 28, 2023 11:59 50s master
July 28, 2023 11:59 50s
ProTip! You can narrow down the results and go further in time using created:<2023-07-28 or the other filters available.