Skip to content

Rename UnindexedRangeLen::len to unindexed_len #464

Rename UnindexedRangeLen::len to unindexed_len

Rename UnindexedRangeLen::len to unindexed_len #464

Triggered via pull request April 24, 2024 20:58
Status Success
Total duration 2m 0s
Artifacts

pr.yaml

on: pull_request
Fit to window
Zoom out
Zoom in