ci: harden the workflows, stop docs runs cancelling each other - #4

ci: harden the workflows, stop docs runs cancelling each other#4

Jertlok merged 2 commits into

mainporthole-dev/porthole:mainfrom

ci/harden-workflowsporthole-dev/porthole:ci/harden-workflowsCopy head branch name to clipboard