ci: final version of docs release pipeline

Author: danfimov

.github/workflows/release_docs.yml

@@ -1,15 +1,15 @@
 name: Release docs
 on:
   pull_request:
-    # types: [closed]
+    types: [closed]
     branches: [ main ]
 
 permissions:
   contents: write
 
 jobs:
   deploy:
-    # if: ${{ github.event_name == 'workflow_dispatch' || (github.event_name == 'pull_request' && github.event.pull_request.merged == true) }}
+    if: ${{ github.event_name == 'workflow_dispatch' || (github.event_name == 'pull_request' && github.event.pull_request.merged == true) }}
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0