CI: Add workflow dispatch

2024-01-02 20:59:58 -07:00 · 2024-01-02 20:59:58 -07:00 · ba480d2cb7
parent 5014748ee1
commit ba480d2cb7
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:
    paths-ignore:
      - .gitignore