omit unnecessary run

.github/workflows/ci.yml

@@ -86,6 +86,8 @@ jobs:
 
   docs:
     runs-on: [self-hosted, x64, Linux, ubuntu, generic]
+    # Don't run if this is a tag push, already done during docs deployment (docs.yml)
+    if:  ${{ !startsWith(github.ref, 'refs/tags/v') }}
 
     steps:
       - uses: actions/checkout@v4