Closed igor-alexandrov closed 3 years ago
This PR adds GA config that generates documentation and deploys it to GitHub Pages.
This PR adds GA config that generates documentation and deploys it to GitHub Pages.