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

Add workflow dispatch (#41) #120

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

Provide feedback