Cannot skip gh-pages publishing

[Halbaroth]

The dune-release publish failed if we refuse to publish the documentation on github-pages. I have my own way to publish my documentation using github actions.