Ensure we actually typecheck
Merged
Merging tom/typecheck-in-ci into main • View on GitHub6
Builds
0
Discussions
56
Stories
PR check
Ensure we actually typecheck
No UI checks were triggered. Your UI review is complete!
UI tests: Passed
56 tests unchanged.
Participants
Tom Coleman