Allow manual execution of ci workflow (#6809)

2021-08-04 19:00:15 +02:00 · 2021-08-04 19:00:15 +02:00 · 12e46e0a36
parent 26c39381a8
commit 12e46e0a36
1 changed files with 1 additions and 0 deletions
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@ -1,6 +1,7 @@
 name: CI

 on:
+  workflow_dispatch:
  pull_request:
    branches:
      - dev