Skip to content

Use str.(r)partition instead of .(r)split where appropriate #186

Use str.(r)partition instead of .(r)split where appropriate

Use str.(r)partition instead of .(r)split where appropriate #186

Triggered via pull request June 11, 2026 21:27
Status Success
Total duration 22s
Artifacts

typecheck.yml

on: pull_request
Matrix: typecheck
Fit to window
Zoom out
Zoom in