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

Add pre-commit workflow #202

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

Provide feedback