ci: add fmt, clippy and platform build tests#41

eatradish wants to merge 1 commit intoStudentWeis:mainStudentWeis/ropy:mainfrom

eatradish:ci-checkeatradish/ropy:ci-checkCopy head branch name to clipboard