Skip to content
This repository was archived by the owner on Apr 26, 2024. It is now read-only.

Reduce the number of "untyped defs" #12716

Merged
merged 14 commits into from
May 12, 2022

Use `auto_attribs` for WellKnownLookupResult

ebc5686
Select commit
Loading
Failed to load commit list.
Merged

Reduce the number of "untyped defs" #12716

Use `auto_attribs` for WellKnownLookupResult
ebc5686
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs