chore(ci): add workflow_dispatch trigger to the CI workflow

art049 · art049 · commit f9fbacdfa697 · 2023-07-25T18:25:14.000+02:00
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -4,10 +4,7 @@ on:
     branches: [main]
   pull_request:
     branches: [main]
-
-concurrency:
-  group: ${{ github.ref }}
-  cancel-in-progress: true
+  workflow_dispatch:
 
 jobs:
   lint:
