Skip to content

[stdlib] Rename List.size to List._len and refactor usage of the field to use the public API #5051

[stdlib] Rename List.size to List._len and refactor usage of the field to use the public API

[stdlib] Rename List.size to List._len and refactor usage of the field to use the public API #5051

Triggered via pull request December 10, 2024 01:43
Status Success
Total duration 10m 22s
Artifacts
Matrix: test-examples
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
with ubuntu-latest and assertions=0
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
with ubuntu-latest and assertions=1
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636