Skip to content
Pull Request Labels (to be added by maintainers)

Fix array_reverse type for list{0: int, 1?: int} etc. #7623

Sign in to view logs

Fix array_reverse type for list{0: int, 1?: int} etc.

Fix array_reverse type for list{0: int, 1?: int} etc. #7623

Triggered via pull request February 21, 2025 13:53
@orklahorklah
synchronize #11150
MoonE:fix-array-reverse-of-list--with-possibly-undefined-values
Status Success
Total duration 15s
Artifacts –

pr-labels.yml

on: pull_request
label
1s
label
Fit to window
Zoom out
Zoom in