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

update github workflows, fix clippy issues, deprecate this project