Placeholder deploy. This will be replaced by the first GitHub Actions build.