ci: abort deploy docs when a new commit is pushed to main
docs.yaml pushes to branch gh-pages. When two or more PRs are merged in quick
succession, we only want the docs from the last one to get deployed.
Use the concurrency mechanism to cancel the earlier run in progress.
