Check awaiting-manual label

refactor: rename `String.split` to `String.splitToList` #7198

Sign in to view logs

Triggered via pull request October 17, 2025 16:17

leanprover-community-bot

labeled #10822

TwoFX:markus/split-to-list

Status Success

Total duration 9s

Artifacts –

awaiting-manual.yml

on: pull_request

check-awaiting-manual