Skip to content
Add git tag for release

Improve type error hint for is not None #786

Sign in to view logs

Improve type error hint for is not None

Improve type error hint for is not None #786

Triggered via pull request January 29, 2025 16:41
@plajjanplajjan
closed #2133
type-error-hint-is-not-none
Status Skipped
Total duration 3s
Artifacts –

release.yml

on: pull_request
if_merged
0s
if_merged
Fit to window
Zoom out
Zoom in