ci: Add manual trigger

.github/workflows/ci.yml

@@ -1,5 +1,12 @@
 name: CI
-on: [push, pull_request]
+on:
+  workflow_dispatch:
+    inputs:
+      ref:
+        description: 'ref'
+        required: false
+  push:
+  pull_request:
 
 jobs:
   docs:
@@ -8,6 +15,8 @@ jobs:
       COLOR: "ON"
     steps:
       - uses: actions/checkout@v2
+        with:
+          ref: ${{ github.event.inputs.ref }}
       - name: Install Dependencies
         run: sudo apt-get install -y python3-sphinx
       - name: Build Documentation
@@ -71,6 +80,7 @@ jobs:
       - uses: actions/checkout@v2
         with:
           submodules: true
+          ref: ${{ github.event.inputs.ref }}
       - name: Summary
         run: ./common/ci/summary.sh
       - name: Configure