Skip to content
Check PR target branch

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

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 #6154

Triggered via pull request January 2, 2025 12:54
@martinvuykmartinvuyk
synchronize #3814
martinvuyk:make-list-size-private
Status Success
Total duration 14s
Artifacts –

check_pr_target.yml

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

Annotations

1 warning
Check PR target branch
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636