CI setup for deployment of github pages #56
Description
We need to make sure that beforehand that a PR to be merged, doesn't lead to deployment failure on GitHub pages. Tavis-CI or Circle-CI can be used.
{{ message }}
We need to make sure that beforehand that a PR to be merged, doesn't lead to deployment failure on GitHub pages. Tavis-CI or Circle-CI can be used.