chore: Allow manual CI triggering.

ShogunPanda · ShogunPanda · commit 936ff2950cd5 · 2021-11-16T13:32:34.000+01:00
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,6 +1,6 @@
 ---
 name: CI
-on: [push, pull_request]
+on: [push, pull_request, workflow_dispatch]
 jobs:
   ci:
     runs-on: ubuntu-latest
