[CI] Add manual dispatch for docs generation

This might be useful if we want to push new benchmarks report, e.g. from a PR

Author: lukaszstolarczuk

.github/workflows/docs.yml

@@ -4,6 +4,7 @@ name: GitHubPages
 on:
   push:
     branches: ["main"]
+  workflow_dispatch:
 
 # Cancel previous in-progress workflow, only the latest run is relevant
 concurrency: