Refine 'Publish documentation' workflow (#3673)
Refine 'Publish documentation' workflow (#3673)

* Only publish documentation when changed

* Enable manual publishing of the documentation

* Don't try to publish documentation from forks
nlohmann/json,nlohmann/json,nlohmann/json