From 95537f458d78c81f7515c9ca7ca84da69f219ade Mon Sep 17 00:00:00 2001
From: patrick96 <p.ziegler96@gmail.com>
Date: Sat, 12 Dec 2020 01:15:49 +0100
Subject: [PATCH] ci: Add manual trigger

---
 .github/workflows/ci.yml | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 8d853338..99746764 100644
--- a/.github/workflows/ci.yml
+++ b/.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