This repository was archived by the owner on Mar 26, 2026. It is now read-only.
Commit 7680213
committed
add check_untyped_defs
1 parent 3cb8e92 commit 7680213
1 file changed
Lines changed: 2 additions & 0 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
104 | 104 | | |
105 | 105 | | |
106 | 106 | | |
| 107 | + | |
| 108 | + | |
107 | 109 | | |
108 | 110 | | |
109 | 111 | | |
| |||
0 commit comments