Trigger CI from button

2023-02-08 15:10:45 +01:00 · 2023-02-08 15:10:45 +01:00 · fdaddeb392
parent 423bbf28b6
commit fdaddeb392
1 changed files with 1 additions and 0 deletions
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@ -1,5 +1,6 @@
 name: ci 
 on:
+  workflow_dispatch:
  push:
    branches:
      - master