Skip to content

Actions: DetachHead/basedpyright

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
fix second generic for AbstractContextManager being ignored when determining whether the context manager can suppress exceptions Run mypy_primer on PR #875: Pull request #963 opened by DetachHead
December 21, 2024 04:14 42m 17s fix-contextmanager-exit-generic
fix-contextmanager-exit-generic
December 21, 2024 04:14 42m 17s
fix second generic for AbstractContextManager being ignored when determining whether the context manager can suppress exceptions Code Scanning - Action #1775: Pull request #963 opened by DetachHead
December 21, 2024 04:14 5m 49s fix-contextmanager-exit-generic
fix-contextmanager-exit-generic
December 21, 2024 04:14 5m 49s
fix second generic for AbstractContextManager being ignored when determining whether the context manager can suppress exceptions Validation #1428: Pull request #963 opened by DetachHead
December 21, 2024 04:14 9m 58s fix-contextmanager-exit-generic
fix-contextmanager-exit-generic
December 21, 2024 04:14 9m 58s
fix second generic for AbstractContextManager being ignored when d… build and release #1456: Commit a768f1c pushed by DetachHead
December 21, 2024 04:14 26m 41s fix-contextmanager-exit-generic
fix-contextmanager-exit-generic
December 21, 2024 04:14 26m 41s
Comment with mypy_primer diff Comment with mypy_primer diff #868: completed by DetachHead
December 21, 2024 03:59 17s
December 21, 2024 03:59 17s
fix context managers that return bool | None incorrectly being treated as if they can never suppress exceptions docs #765: Pull request #111 synchronize by DetachHead
December 21, 2024 03:16 2m 56s fix-context-manager-unreachable
fix-context-manager-unreachable
December 21, 2024 03:16 2m 56s
fix context managers that return bool | None incorrectly being treated as if they can never suppress exceptions Run mypy_primer on PR #874: Pull request #111 synchronize by DetachHead
December 21, 2024 03:16 42m 55s fix-context-manager-unreachable
fix-context-manager-unreachable
December 21, 2024 03:16 42m 55s
fix context managers that return bool | None incorrectly being treated as if they can never suppress exceptions Code Scanning - Action #1774: Pull request #111 synchronize by DetachHead
December 21, 2024 03:16 6m 4s fix-context-manager-unreachable
fix-context-manager-unreachable
December 21, 2024 03:16 6m 4s
fix context managers that return bool | None incorrectly being treated as if they can never suppress exceptions Validation #1427: Pull request #111 synchronize by DetachHead
December 21, 2024 03:16 9m 49s fix-context-manager-unreachable
fix-context-manager-unreachable
December 21, 2024 03:16 9m 49s
add strictContextManagerExitTypes setting build and release #1455: Commit b176dd1 pushed by DetachHead
December 21, 2024 03:16 26m 30s fix-context-manager-unreachable
fix-context-manager-unreachable
December 21, 2024 03:16 26m 30s
Comment with mypy_primer diff Comment with mypy_primer diff #867: completed by DetachHead
December 20, 2024 13:46 22s
December 20, 2024 13:46 22s