This repository was archived by the owner on Jun 9, 2025. It is now read-only.

Simplify the tests compilation #171

Job	Run time
Check code formatting, typecheck the code	27s
	27s

Provide feedback