Skip to content
Check PR title

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

Sign in to view logs

[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
@martinvuykmartinvuyk
synchronize #3814
martinvuyk:make-list-size-private
Status Success
Total duration 12s
Artifacts –

check_pr_title.yml

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