Add make check target and CI workflow
Some checks failed
check / check (pull_request) Failing after 7m24s
merge-ready