Add CI

[DSIW]

AC:

• Tests are checked
• Formatting is checked
• App is built to check for errors (too expensive?)
• every step is done on new PRs / main pushes

[TheFreal]

Releases are currently automatically built and published with Codemagic whenever a new version tag is pushed to main.