Skip to content

Update stubs#80

Merged
henribru merged 1 commit into
masterfrom
create-updated-stubs-pr
May 18, 2026
Merged

Update stubs#80
henribru merged 1 commit into
masterfrom
create-updated-stubs-pr

Update stubs

3168d86
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

4 warnings
mypy
succeeded May 17, 2026 in 1m 40s