Skip to content
Run pre-commit

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

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

Triggered via pull request February 2, 2025 13:25
@martinvuykmartinvuyk
synchronize #3814
martinvuyk:make-list-size-private
Status Success
Total duration 57s
Artifacts –

test_pre_commit.yml

on: pull_request
lint
47s
lint
Fit to window
Zoom out
Zoom in