This repository was archived by the owner on Jan 22, 2026. It is now read-only.

Merge pull request #24 from michalskrivanek/online #66

Job	Run time
lint	7s
	7s

Provide feedback