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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
with ubuntu-latest and assertions=0
4m 54s
with ubuntu-latest and assertions=1
5m 3s
with macos-14 and assertions=0
10m 45s
with macos-14 and assertions=1
2m 26s
23m 8s