FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Download Repo ZIP]   [Original HTTPS Page]

gh-135676: Simplify docs on lexing names by encukou · Pull Request #140464 · python/cpython · GitHub

/ cpython Public

gh-135676: Simplify docs on lexing names - #140464

Merged
encukou merged 8 commits into
python:mainfrom
encukou:lex-analysis-names-simpler
Nov 26, 2025
ConversationCommits (8)ChecksFiles changed
Merged

gh-135676: Simplify docs on lexing names#140464
encukou merged 8 commits into
python:mainfrom
encukou:lex-analysis-names-simpler

Reword to use XID_Start and XID_Continue

43f6091
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Check labels on: pull_request 1
DO-NOT-MERGE
Lint on: pull_request
lint
Tests on: pull_request 2
Change detection / Create context from changed files
Docs / Docs
Docs / Doctest
Docs / Check EPUB
Check if Autoconf files are up to date
Check if generated files are up to date
Windows ${{ ((fromJSON(matrix.free-threading) && '(free-threading)') || '') }}
Windows MSI${{ '' }}
macOS ${{ ((fromJSON(matrix.free-threading) && '(free-threading)') || '') }}
Ubuntu ${{ ((fromJSON(matrix.free-threading) && '(free-threading)') || '') }} ${{ ((fromJSON(matrix.bolt) && '(bolt)') || '') }}
Ubuntu SSL tests with OpenSSL
Ubuntu SSL tests with AWS-LC
Android (${{ matrix.arch }})
iOS
WASI
Hypothesis tests on Ubuntu
Address sanitizer
Sanitizers${{ '' }}
Cross build Linux
CIFuzz
All required checks pass
Check labels on: pull_request 1
DO-NOT-MERGE
Unresolved review
Check labels on: pull_request 1
DO-NOT-MERGE
Unresolved review
Check labels on: pull_request 1
DO-NOT-MERGE
Unresolved review
Check labels on: pull_request 1
DO-NOT-MERGE
Unresolved review
Check labels on: pull_request 1
DO-NOT-MERGE
Unresolved review
Check labels on: pull_request 1
DO-NOT-MERGE
Unresolved review
Check labels on: pull_request 1
DO-NOT-MERGE
Unresolved review

Annotations

1 warning

The logs for this run have expired and are no longer available.

Loading

Re-running jobs...

Back | FazBrowse Home | New Git URL