Allow triggering CI builds by hand

GitHub removes artifacts after four months, so there may be situations where this is useful.
2026-05-07 03:50:11 +02:00 · 2025-09-01 23:38:13 +02:00
parent 17a95fdf99
commit 42e0794d7c
1 changed files with 1 additions and 0 deletions
@@ -11,6 +11,7 @@ on:
  pull_request:
    branches:
      - master
+  workflow_dispatch:

 defaults:
  run: