2 Commits

Author	SHA1	Message	Date
iphydf	8d19757f8e	chore: Add mypy Python type check. ... Also fix the types in all Python files.	2022-01-14 19:55:37 +00:00
iphydf	c81038c963	chore: Add sonar-scan analysis on pushes. ... We can't run this on pull requests because it needs access to the `SONAR_TOKEN` secret. Perhaps in the future we can make it a `pull_request_target` workflow, but then we can't use cmake to initialise the environment, meaning we need to specify the inputs manually.	2022-01-14 12:38:35 +00:00