[website] update website every time there is a change (#3090)
authorNicolò Boschi <boschi1997@gmail.com>
Mon, 14 Mar 2022 11:10:35 +0000 (12:10 +0100)
committerGitHub <noreply@github.com>
Mon, 14 Mar 2022 11:10:35 +0000 (12:10 +0100)
commit10825c93bccd9e170df75ab9f2cf85cb6043f649
tree0715ffbed23cfe15aa6d885bbfa8ee4cc950154d
parente4b16b3f883465ae3418b1cffaf9644767b71b9c
[website] update website every time there is a change (#3090)
.github/workflows/website-deploy.yaml