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

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

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. #7184

Triggered via pull request November 10, 2024 17:18
@MoonEMoonE
synchronize #11150
MoonE:fix-array-reverse-of-list--with-possibly-undefined-values
Status Failure
Total duration 11s
Artifacts –

pr-labels.yml

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

Annotations

1 error
label
Label error. Requires at least 1 of: release:typo, release:fix, release:feature, release:deprecation, release:internal, release:docs, release:removed. Found: