Skip to content

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

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

Triggered via pull request February 25, 2025 16:38
Status Success
Total duration 13s
Artifacts

check_pr_title.yml

on: pull_request
Check PR title format
5s
Check PR title format
Fit to window
Zoom out
Zoom in