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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
with ubuntu-latest and assertions=0
4m 49s
with ubuntu-latest and assertions=1
4m 57s
with macos-14 and assertions=0
2m 24s
with macos-14 and assertions=1
2m 25s
14m 35s