fix: deploy docs after CI has ran.

Author: paquiteau

.github/workflows/docs.yml

@@ -2,11 +2,13 @@ name: docs
 
 on:
   workflow_dispatch:
-    
-  push:
-    branches: [ "master" ]
-  # pull_request:
-  #   branches: [ "master" ]
+
+  workflow_run:
+    workflows: ["CI"]
+    types:
+      - completed 
+  # push:
+  #  branches: [ "master" ]
   issue_comment:
     types: [created]
 
@@ -20,7 +22,7 @@ env:
 
 jobs:    
   build-docs:
-    if: ${{ ( contains(github.event.comment.body, '/build-docs') && github.event.issue.pull_request ) || github.event_name == 'push' || github.event_name == 'workflow_dispatch'}}
+    if: ${{ ( contains(github.event.comment.body, '/build-docs') && github.event.issue.pull_request ) || github.event_name == 'workflow_run' || github.event_name == 'workflow_dispatch'}}
     name: Build API Documentation
     runs-on: gpu
     permissions:
@@ -92,17 +94,24 @@ jobs:
     name: Deploy API Documentation
     runs-on: ubuntu-latest
     needs: build-docs
-    if: ${{ github.event_name == 'push' }}
+    if: ${{ github.event_name == 'workflow_run' }}
 
     steps:
       - name: Get the docs_build artifact
         uses: actions/download-artifact@v4
         with:
           name: docs
           path: docs_build
-          run-id: ${{ github.event.workflow_run.id }}
           github-token: ${{ secrets.GITHUB_TOKEN }}
 
+      - name: Get the coverage badge from CI
+        uses: actions/download-artifact@v4
+        with:
+          name: coverage_badge
+          path: docs_build/_static
+          run-id: ${{ github.event.workflow_run.id}}
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+          
       - name: Display structure of docs
         run: ls -R docs_build/