Closed antoinealb closed 4 years ago
Currently our github-pages branch lags behind quite a lot. This PR implements automatic deploy of our website.
Currently our github-pages branch lags behind quite a lot. This PR implements automatic deploy of our website.