Skip to content

Actions: python/peps

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6,667 workflow runs
6,667 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PEP 800: Rename to "disjoint base" Lint PEPs #9359: Pull request #4540 synchronize by JelleZijlstra
August 12, 2025 03:30 35s JelleZijlstra:pep800-disjoint
JelleZijlstra:pep800-disjoint
August 12, 2025 03:30 35s
PEP 800: Rename to "disjoint base" Render PEPs #7341: Pull request #4540 synchronize by JelleZijlstra
August 12, 2025 03:30 1m 39s JelleZijlstra:pep800-disjoint
JelleZijlstra:pep800-disjoint
August 12, 2025 03:30 1m 39s
PEP 752: address maintainer feedback Render PEPs #7340: Pull request #4527 synchronize by ofek
August 11, 2025 19:53 1m 48s ofek:752-feedback
ofek:752-feedback
August 11, 2025 19:53 1m 48s
PEP 752: address maintainer feedback Lint PEPs #9358: Pull request #4527 synchronize by ofek
August 11, 2025 19:53 26s ofek:752-feedback
ofek:752-feedback
August 11, 2025 19:53 26s
pages build and deployment pages-build-deployment #1900: by github-pages bot
August 11, 2025 18:53 23s gh-pages
gh-pages
August 11, 2025 18:53 23s
PEP 792: Mark as Final (#4543) Render PEPs #7339: Commit abcdd47 pushed by AA-Turner
August 11, 2025 18:52 1m 38s main
main
August 11, 2025 18:52 1m 38s
PEP 792: Mark as Final (#4543) Lint PEPs #9357: Commit abcdd47 pushed by AA-Turner
August 11, 2025 18:52 30s main
main
August 11, 2025 18:52 30s
PEP 792: Mark as Final Lint PEPs #9356: Pull request #4543 opened by woodruffw
August 11, 2025 18:49 26s woodruffw-forks:ww/finalize-792
woodruffw-forks:ww/finalize-792
August 11, 2025 18:49 26s
PEP 792: Mark as Final Render PEPs #7338: Pull request #4543 opened by woodruffw
August 11, 2025 18:49 1m 48s woodruffw-forks:ww/finalize-792
woodruffw-forks:ww/finalize-792
August 11, 2025 18:49 1m 48s
PEP 792: Mark as Final Read the Docs PR preview #1358: Pull request #4543 opened by woodruffw
August 11, 2025 18:49 11s
August 11, 2025 18:49 11s
Pep795 take2 Render PEPs #7337: Pull request #4542 opened by TobiasWrigstad
August 11, 2025 10:06 1m 43s TobiasWrigstad:pep795-take2
TobiasWrigstad:pep795-take2
August 11, 2025 10:06 1m 43s
Pep795 take2 Lint PEPs #9355: Pull request #4542 opened by TobiasWrigstad
August 11, 2025 10:06 28s TobiasWrigstad:pep795-take2
TobiasWrigstad:pep795-take2
August 11, 2025 10:06 28s
Pep795 take2 Read the Docs PR preview #1357: Pull request #4542 opened by TobiasWrigstad
August 11, 2025 10:06 8s
August 11, 2025 10:06 8s
PEP 800: Rename to "disjoint base" Lint PEPs #9354: Pull request #4540 synchronize by JelleZijlstra
August 10, 2025 15:27 29s JelleZijlstra:pep800-disjoint
JelleZijlstra:pep800-disjoint
August 10, 2025 15:27 29s
PEP 800: Rename to "disjoint base" Render PEPs #7336: Pull request #4540 synchronize by JelleZijlstra
August 10, 2025 15:27 1m 45s JelleZijlstra:pep800-disjoint
JelleZijlstra:pep800-disjoint
August 10, 2025 15:27 1m 45s
PEP 101: Add Android Lint PEPs #9353: Pull request #4541 opened by mhsmith
August 10, 2025 15:02 32s mhsmith:android
mhsmith:android
August 10, 2025 15:02 32s
PEP 101: Add Android Render PEPs #7335: Pull request #4541 opened by mhsmith
August 10, 2025 15:02 1m 44s mhsmith:android
mhsmith:android
August 10, 2025 15:02 1m 44s
PEP 101: Add Android Read the Docs PR preview #1356: Pull request #4541 opened by mhsmith
August 10, 2025 15:02 12s
August 10, 2025 15:02 12s
PEP 800: Rename to "disjoint base" Render PEPs #7334: Pull request #4540 opened by JelleZijlstra
August 10, 2025 02:14 1m 46s JelleZijlstra:pep800-disjoint
JelleZijlstra:pep800-disjoint
August 10, 2025 02:14 1m 46s
PEP 800: Rename to "disjoint base" Lint PEPs #9352: Pull request #4540 opened by JelleZijlstra
August 10, 2025 02:14 29s JelleZijlstra:pep800-disjoint
JelleZijlstra:pep800-disjoint
August 10, 2025 02:14 29s
PEP 800: Rename to "disjoint base" Read the Docs PR preview #1355: Pull request #4540 opened by JelleZijlstra
August 10, 2025 02:14 8s
August 10, 2025 02:14 8s
PEP 728: Expand previous discussions and "How to teach this" Lint PEPs #9351: Pull request #4539 opened by JelleZijlstra
August 10, 2025 00:50 31s JelleZijlstra:pep728-more
JelleZijlstra:pep728-more
August 10, 2025 00:50 31s
PEP 728: Expand previous discussions and "How to teach this" Render PEPs #7333: Pull request #4539 opened by JelleZijlstra
August 10, 2025 00:50 1m 51s JelleZijlstra:pep728-more
JelleZijlstra:pep728-more
August 10, 2025 00:50 1m 51s
PEP 728: Expand previous discussions and "How to teach this" Read the Docs PR preview #1354: Pull request #4539 opened by JelleZijlstra
August 10, 2025 00:50 9s
August 10, 2025 00:50 9s
pages build and deployment pages-build-deployment #1899: by github-pages bot
August 9, 2025 01:25 23s gh-pages
gh-pages
August 9, 2025 01:25 23s