Plat — deploying via GitHub Actions