Skip to content

Ensure we actually typecheck#35

Merged
tmeasday merged 3 commits intomainfrom tom/typecheck-in-ciAug 17, 2023