Skip to content

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

[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 #6502

Triggered via pull request February 26, 2025 13:37
Status Success
Total duration 11s
Artifacts

check_pr_target.yml

on: pull_request
Check PR target branch
0s
Check PR target branch
Fit to window
Zoom out
Zoom in