Skip to content

Merge remote-tracking branch 'upstream/main' #18

Merge remote-tracking branch 'upstream/main'

Merge remote-tracking branch 'upstream/main' #18

Triggered via push May 6, 2026 11:49
Status Success
Total duration 41s
Artifacts
Check if .pyi file differs from generated one
28s
Check if .pyi file differs from generated one
Fit to window
Zoom out
Zoom in