Reports are deployed by GitHub Actions.