Skip to content
This repository was archived by the owner on Sep 8, 2025. It is now read-only.

Type check with 3 type checkers & remove last "Any" types #154

Merged
jepler merged 11 commits into from
Aug 27, 2025

Makefile: Default to running all type checkers.

bf0b767
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Type check with 3 type checkers & remove last "Any" types #154

Makefile: Default to running all type checkers.
bf0b767
Select commit
Loading
Failed to load commit list.

The logs for this run have expired and are no longer available.