Skip to content
Merge bot PR

Improve return type of range() function to always yield a non-empty-list #3875

Sign in to view logs

Improve return type of range() function to always yield a non-empty-list

Improve return type of range() function to always yield a non-empty-list #3875

Triggered via pull request December 31, 2025 13:06
@FeBe95FeBe95
opened #4688
FeBe95:range-function-always-returns-non-empty-list
Status Success
Total duration 21s
Artifacts –

merge-bot-pr.yml

on: pull_request
Automerge PRs
17s
Automerge PRs
Fit to window
Zoom out
Zoom in