Skip to content

Actions: DetachHead/basedpyright

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
7,639 workflow runs
7,639 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #103: by github-pages bot
December 23, 2024 12:05 31s gh-pages
gh-pages
December 23, 2024 12:05 31s
warn instead of error when placeholder <default workspace root> pat… docs #770: Commit aba927d pushed by DetachHead
December 23, 2024 12:02 3m 20s main
main
December 23, 2024 12:02 3m 20s
warn instead of error when placeholder <default workspace root> pat… Run mypy_primer on push #250: Commit aba927d pushed by DetachHead
December 23, 2024 12:02 In progress main
main
December 23, 2024 12:02 In progress
warn instead of error when placeholder <default workspace root> pat… build and release #1460: Commit aba927d pushed by DetachHead
December 23, 2024 12:02 24m 55s main
main
December 23, 2024 12:02 24m 55s
warn instead of error when placeholder <default workspace root> pat… Code Scanning - Action #1780: Commit aba927d pushed by DetachHead
December 23, 2024 12:02 4m 16s main
main
December 23, 2024 12:02 4m 16s
Comment with mypy_primer diff Comment with mypy_primer diff #871: completed by DetachHead
December 23, 2024 11:58 20s
December 23, 2024 11:58 20s
fix File or directory "/<default workspace root>" does not exist error being reported as a language server notification Validation #1430: Pull request #966 opened by DetachHead
December 23, 2024 11:15 9m 27s fix-error
fix-error
December 23, 2024 11:15 9m 27s
fix File or directory "/<default workspace root>" does not exist error being reported as a language server notification Run mypy_primer on PR #877: Pull request #966 opened by DetachHead
December 23, 2024 11:15 43m 0s fix-error
fix-error
December 23, 2024 11:15 43m 0s
fix File or directory "/<default workspace root>" does not exist error being reported as a language server notification Code Scanning - Action #1779: Pull request #966 opened by DetachHead
December 23, 2024 11:15 5m 58s fix-error
fix-error
December 23, 2024 11:15 5m 58s
fix File or directory "/<default workspace root>" does not exist error being reported as a language server notification docs #769: Pull request #966 opened by DetachHead
December 23, 2024 11:15 3m 1s fix-error
fix-error
December 23, 2024 11:15 3m 1s
warn instead of error when placeholder <default workspace root> pat… build and release #1459: Commit 192221a pushed by DetachHead
December 23, 2024 11:09 26m 34s fix-error
fix-error
December 23, 2024 11:09 26m 34s
Code Scanning - Action Code Scanning - Action #1778: Scheduled
December 22, 2024 02:05 5m 2s main
main
December 22, 2024 02:05 5m 2s
Comment with mypy_primer diff Comment with mypy_primer diff #870: completed by DetachHead
December 21, 2024 07:06 16s
December 21, 2024 07:06 16s
fix context managers that return bool | None incorrectly being treated as if they can never suppress exceptions Code Scanning - Action #1777: Pull request #111 synchronize by DetachHead
December 21, 2024 06:26 5m 52s fix-context-manager-unreachable
fix-context-manager-unreachable
December 21, 2024 06:26 5m 52s
fix context managers that return bool | None incorrectly being treated as if they can never suppress exceptions Run mypy_primer on PR #876: Pull request #111 synchronize by DetachHead
December 21, 2024 06:26 39m 52s fix-context-manager-unreachable
fix-context-manager-unreachable
December 21, 2024 06:26 39m 52s
fix context managers that return bool | None incorrectly being treated as if they can never suppress exceptions Validation #1429: Pull request #111 synchronize by DetachHead
December 21, 2024 06:26 9m 54s fix-context-manager-unreachable
fix-context-manager-unreachable
December 21, 2024 06:26 9m 54s
fix context managers that return bool | None incorrectly being treated as if they can never suppress exceptions docs #768: Pull request #111 synchronize by DetachHead
December 21, 2024 06:26 2m 55s fix-context-manager-unreachable
fix-context-manager-unreachable
December 21, 2024 06:26 2m 55s
add strictContextManagerExitTypes setting build and release #1458: Commit 0a8dda6 pushed by DetachHead
December 21, 2024 06:26 26m 1s fix-context-manager-unreachable
fix-context-manager-unreachable
December 21, 2024 06:26 26m 1s
pages build and deployment pages-build-deployment #102: by github-pages bot
December 21, 2024 06:16 35s gh-pages
gh-pages
December 21, 2024 06:16 35s
fix second generic for AbstractContextManager being ignored when d… Run mypy_primer on push #249: Commit 10d8466 pushed by DetachHead
December 21, 2024 06:13 1h 45m 41s main
main
December 21, 2024 06:13 1h 45m 41s
fix second generic for AbstractContextManager being ignored when d… docs #767: Commit 10d8466 pushed by DetachHead
December 21, 2024 06:13 3m 24s main
main
December 21, 2024 06:13 3m 24s
fix second generic for AbstractContextManager being ignored when d… Code Scanning - Action #1776: Commit 10d8466 pushed by DetachHead
December 21, 2024 06:13 4m 21s main
main
December 21, 2024 06:13 4m 21s
fix second generic for AbstractContextManager being ignored when d… build and release #1457: Commit 10d8466 pushed by DetachHead
December 21, 2024 06:13 25m 11s main
main
December 21, 2024 06:13 25m 11s
Comment with mypy_primer diff Comment with mypy_primer diff #869: completed by DetachHead
December 21, 2024 04:56 15s
December 21, 2024 04:56 15s
fix second generic for AbstractContextManager being ignored when determining whether the context manager can suppress exceptions docs #766: Pull request #963 opened by DetachHead
December 21, 2024 04:14 2m 55s fix-contextmanager-exit-generic
fix-contextmanager-exit-generic
December 21, 2024 04:14 2m 55s