Skip to content
Back to pull request #3441

PEP 728: TypedDict with Typed Extra Fields #6019

Sign in to view logs

PEP 728: TypedDict with Typed Extra Fields

PEP 728: TypedDict with Typed Extra Fields #6019

Triggered via pull request February 9, 2024 02:49
@JelleZijlstraJelleZijlstra
synchronize #3441
PIG208:pep-728
Status Success
Total duration 47s
Artifacts –

lint.yml

on: pull_request
Run pre-commit
38s
Run pre-commit
Run check-peps
6s
Run check-peps
Fit to window
Zoom out
Zoom in