Instead of deploying docs on pushes to master, here I restrict docs deployment to git tags only. This will ensure that the docs website is in-sync with the releases.
In case this is too conservative, deployments can still be triggered manually as needed, using repository_dispatch (g.g. from GitHub CLI) and workflow_dispatch mechanisms (The "Run workflow" button on Github Actions page)
Instead of deploying docs on pushes to
master
, here I restrict docs deployment to git tags only. This will ensure that the docs website is in-sync with the releases.In case this is too conservative, deployments can still be triggered manually as needed, using
repository_dispatch
(g.g. from GitHub CLI) andworkflow_dispatch
mechanisms (The "Run workflow" button on Github Actions page)