We should add a GitHub workflow to do the following: - [ ] Do some basic tests. - [ ] Deploy to a self-hosted Linux system after a successful test.