[website] restore javadoc generation and automate website deployment (#3081)
authorNicolò Boschi <boschi1997@gmail.com>
Tue, 8 Mar 2022 17:22:55 +0000 (18:22 +0100)
committerGitHub <noreply@github.com>
Tue, 8 Mar 2022 17:22:55 +0000 (18:22 +0100)
commitf13f621d6a5c5c134774d2d05e793182a5ec4e79
treeff3109d2f334f7e3378dbb5548c59c0f82eddeec
parent74b00a101cb6ffd06dafccfe9d31c8c5be66efaf
[website] restore javadoc generation and automate website deployment (#3081)

* [website] restore javadoc generation and automate website deployment
.github/workflows/pr-validation.yml
.github/workflows/website-deploy.yaml [new file with mode: 0644]
build.gradle
site/Makefile
site/scripts/javadoc-gen.sh