Skip to content
Test stdlib and examples

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
with ubuntu-latest and assertions=0
5m 9s
with ubuntu-latest and assertions=1
6m 45s
with macos-14 and assertions=0
12m 14s
with macos-14 and assertions=1
2m 37s
26m 45s