Skip to content

fix: use none as default arg to split #110

fix: use none as default arg to split

fix: use none as default arg to split #110

Triggered via pull request August 8, 2024 14:52
Status Success
Total duration 22s
Artifacts

type-check.yml

on: pull_request
run_tests
13s
run_tests
Fit to window
Zoom out
Zoom in