fix: remove not working part (#484)

.github/workflows/ci-docs.yaml

@@ -11,14 +11,6 @@ jobs:
       - uses: actions/checkout@v3
         with:
           ref: "refs/pull/${{ github.event.number }}/merge"
-      - name: Check for redundant workflow run
-        run: |
-          HEAD_SHA=$(git rev-parse HEAD^)
-          if [ "$HEAD_SHA" != "${{ github.event.pull_request.head.sha }}" ]; then
-            echo "HEAD SHA and Pull Request HEAD SHA do not match, cancelling run"
-            echo "GitHub has scheduled a newer workflow run already."
-            exit 1
-          fi
       - name: Setup Node.js
         uses: actions/setup-node@v3
         with: