ci: add workflow dispatch (#674)

Author: DorianMazur

.github/workflows/docs.yaml

@@ -3,6 +3,7 @@ name: Docs
 on:
   release:
     types: [created]
+  workflow_dispatch:
 
 jobs:
   build:
@@ -39,7 +40,6 @@ jobs:
     environment:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}
-
     steps:
       - name: Deploy to GitHub Pages
         id: deployment