Ease pre-pull request fork CI as well as github-actions based dispatch (#229)

2026-07-22 22:56:07 +00:00 · 2023-08-25 17:04:51 +01:00
parent f35f714d23
commit 2a21db5504
4 changed files with 4 additions and 28 deletions
@@ -1,13 +1,7 @@
 ---
 name: action

-on:
-  push:
-    branches:
-      - main
-  pull_request:
-    branches:
-      - main
+on: [push, workflow_dispatch]

 env:
  GITHUB_TOKEN: ${{secrets.GITHUB_TOKEN}}