Skip to content

refactor: replace Iter(M).size with Iter(M).count #19367

refactor: replace Iter(M).size with Iter(M).count

refactor: replace Iter(M).size with Iter(M).count #19367

Triggered via pull request October 31, 2025 13:57
Status Success
Total duration 36s
Artifacts

copyright-header.yml

on: pull_request
check-lean-files
33s
check-lean-files
Fit to window
Zoom out
Zoom in