ci: add workflow_dispatch trigger

rigor789 · rigor789 · commit 0cd13b4d5c92 · 2023-05-26T12:28:39.000+02:00
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -3,6 +3,7 @@ name: CI
 on:
   push:
     branches: [ $default-branch ]
+  workflow_dispatch:
 
 jobs:
   build:
