Skip to content

Actions: DetachHead/basedpyright

Run mypy_primer on PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
937 workflow runs
937 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add reportUnreachable option
Run mypy_primer on PR #12: Pull request #34 synchronize by DetachHead
January 18, 2024 12:49 6m 43s unreachable
January 18, 2024 12:49 6m 43s
add reportUnreachable option
Run mypy_primer on PR #11: Pull request #34 opened by DetachHead
January 17, 2024 22:04 2m 10s unreachable
January 17, 2024 22:04 2m 10s
Fix ci
Run mypy_primer on PR #10: Pull request #26 synchronize by DetachHead
January 17, 2024 02:59 6m 22s fix-ci
January 17, 2024 02:59 6m 22s
Fix exit code
Run mypy_primer on PR #9: Pull request #28 synchronize by DetachHead
January 16, 2024 04:55 6m 10s fix-exit-code
January 16, 2024 04:55 6m 10s
Import strategy
Run mypy_primer on PR #8: Pull request #15 synchronize by DetachHead
January 15, 2024 11:00 6m 57s importStrategy
January 15, 2024 11:00 6m 57s
Import strategy
Run mypy_primer on PR #7: Pull request #15 synchronize by DetachHead
January 15, 2024 10:58 2m 14s importStrategy
January 15, 2024 10:58 2m 14s
Import strategy
Run mypy_primer on PR #6: Pull request #15 synchronize by DetachHead
January 15, 2024 10:51 6m 46s importStrategy
January 15, 2024 10:51 6m 46s
Import strategy
Run mypy_primer on PR #5: Pull request #15 synchronize by DetachHead
January 15, 2024 10:02 6m 45s importStrategy
January 15, 2024 10:02 6m 45s
Import strategy
Run mypy_primer on PR #4: Pull request #15 synchronize by DetachHead
January 15, 2024 08:32 6m 15s importStrategy
January 15, 2024 08:32 6m 15s
Import strategy
Run mypy_primer on PR #3: Pull request #15 synchronize by DetachHead
January 15, 2024 06:08 6m 21s importStrategy
January 15, 2024 06:08 6m 21s
Import strategy
Run mypy_primer on PR #2: Pull request #15 synchronize by DetachHead
January 15, 2024 05:23 6m 46s importStrategy
January 15, 2024 05:23 6m 46s
Import strategy
Run mypy_primer on PR #1: Pull request #15 synchronize by DetachHead
January 15, 2024 05:22 1m 18s importStrategy
January 15, 2024 05:22 1m 18s
ProTip! You can narrow down the results and go further in time using created:<2024-01-15 or the other filters available.