Try to publish generated_docs from PR sources and comment on the PR#673

Merged

diptorupd merged 2 commits intomasterfrom

docs/pull_request_building

Nov 10, 2021

Commits on Nov 10, 2021

Try to publish generated_docs from PR sources and comment on the PR
oleksandr-pavlyk
committed
Added logic for tearing down pulls/prNum after PR is closed
oleksandr-pavlyk
committed