Skip to content

Actions: python/mypy

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16,566 workflow runs
16,566 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make X[()] count as a type application Run mypy_primer #10404: Pull request #20568 opened by A5rocks
19m 22s A5rocks:empty-type-application
A5rocks:empty-type-application
19m 22s
Comment with mypy_primer diff Comment with mypy_primer diff #10141: completed by ilevkivskyi
9s
9s
Use proper fixed format for parallel type checking IPC Tests #20082: Pull request #20565 opened by ilevkivskyi
28m 50s ilevkivskyi:fix-parallel-serial-fmt
ilevkivskyi:fix-parallel-serial-fmt
28m 50s
Use proper fixed format for parallel type checking IPC Run mypy_primer #10403: Pull request #20565 opened by ilevkivskyi
19m 23s ilevkivskyi:fix-parallel-serial-fmt
ilevkivskyi:fix-parallel-serial-fmt
19m 23s
Document unreachability handling of return NotImplemented (#20561) Tests #20081: Commit 952f159 pushed by ilevkivskyi
28m 31s master
master
28m 31s
Document unreachability handling of return NotImplemented (#20561) Trigger wheel build #3691: Commit 952f159 pushed by ilevkivskyi
13s master
master
13s
Document unreachability handling of return NotImplemented (#20561) Test stubgenc on pybind11_fixtures #4524: Commit 952f159 pushed by ilevkivskyi
44s master
master
44s
Document unreachability handling of return NotImplemented (#20561) Check documentation build #5484: Commit 952f159 pushed by ilevkivskyi
44s master
master
44s
Fix "Edit Page" button visibility on stable branches Check documentation build #5483: Pull request #20562 synchronize by daksh1403
42s daksh1403:fix/docs-edit-button
daksh1403:fix/docs-edit-button
42s
Fix "Edit Page" button visibility on stable branches Check documentation build #5482: Pull request #20562 synchronize by daksh1403
44s daksh1403:fix/docs-edit-button
daksh1403:fix/docs-edit-button
44s
Fix "Edit Page" button visibility on stable branches Check documentation build #5481: Pull request #20562 synchronize by pre-commit-ci bot
42s daksh1403:fix/docs-edit-button
daksh1403:fix/docs-edit-button
42s
Fix "Edit Page" button visibility on stable branches Check documentation build #5480: Pull request #20562 synchronize by daksh1403
40s daksh1403:fix/docs-edit-button
daksh1403:fix/docs-edit-button
40s
Fix "Edit Page" button visibility on stable branches Check documentation build #5479: Pull request #20562 synchronize by pre-commit-ci bot
38s daksh1403:fix/docs-edit-button
daksh1403:fix/docs-edit-button
38s
Fix "Edit Page" button visibility on stable branches Check documentation build #5478: Pull request #20562 opened by daksh1403
37s daksh1403:fix/docs-edit-button
daksh1403:fix/docs-edit-button
37s
Document unreachability handling of return NotImplemented Tests #20080: Pull request #20561 opened by wyattscarpenter
27m 38s wyattscarpenter:rni
wyattscarpenter:rni
27m 38s
Document unreachability handling of return NotImplemented Check documentation build #5477: Pull request #20561 opened by wyattscarpenter
51s wyattscarpenter:rni
wyattscarpenter:rni
51s
Comment with mypy_primer diff Comment with mypy_primer diff #10140: completed by daksh1403
12s
12s
Merge error code lists into one page (Fixes #20077) Tests #20079: Pull request #20559 synchronize by daksh1403
27m 45s daksh1403:master
daksh1403:master
27m 45s
Merge error code lists into one page (Fixes #20077) Run mypy_primer #10402: Pull request #20559 synchronize by daksh1403
18m 57s daksh1403:master
daksh1403:master
18m 57s
Merge error code lists into one page (Fixes #20077) Check documentation build #5476: Pull request #20559 synchronize by daksh1403
41s daksh1403:master
daksh1403:master
41s
Comment with mypy_primer diff Comment with mypy_primer diff #10139: completed by pre-commit-ci bot
8s
8s
Comment with mypy_primer diff Comment with mypy_primer diff #10138: completed by daksh1403
1s
1s
Merge error code lists into one page (Fixes #20077) Tests #20078: Pull request #20559 synchronize by pre-commit-ci bot
23m 17s daksh1403:master
daksh1403:master
23m 17s
Merge error code lists into one page (Fixes #20077) Check documentation build #5475: Pull request #20559 synchronize by pre-commit-ci bot
42s daksh1403:master
daksh1403:master
42s
Merge error code lists into one page (Fixes #20077) Run mypy_primer #10401: Pull request #20559 synchronize by pre-commit-ci bot
16m 57s daksh1403:master
daksh1403:master
16m 57s
ProTip! You can narrow down the results and go further in time using created:<2026-01-11 or the other filters available.