Skip to content

TypedPython step 1: soundness gate - #19

Merged
b-re-w merged 4 commits into
developfrom
work/typedpython-gate
Oct 3, 2026
Merged

TypedPython step 1: soundness gate#19
b-re-w merged 4 commits into
developfrom
work/typedpython-gate

Fix: Accept directories in typedpython check

077fed8
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs