Decide when we want the docs to be deployed

[adamltyson]

Currently they are deployed with a tagged commit or manually. We may want to update this to run on e.g. every push to main.

[niksirbi]

I think "every push to main" would make more sense for this project.

[richarddushime]

yeah ,
based on what is ready there
I think We can only update this condition

if: (github.event_name == 'push' && (github.ref == 'refs/heads/main' || github.ref_type == 'tag')) || github.event_name == 'workflow_dispatch'

I can push a commit with this

[niksirbi]

I think that's accurate. Checkout the workflow that deploys our main website on push to main.
What we need here is similar.