Skip to content
Automatic PR Updater

Add local stubs to remove unused type-ignore comments #1066

Sign in to view logs

Add local stubs to remove unused type-ignore comments

Add local stubs to remove unused type-ignore comments #1066

Triggered via push October 7, 2025 00:49
@CarrotManMattCarrotManMatt
pushed 3d0b042
remove-unused-ignore-comments
Status Success
Total duration 29s
Artifacts –

pr-auto-updater.yaml

on: push
pr-auto-update
26s
pr-auto-update
Fit to window
Zoom out
Zoom in