GitHub: allow for manual on-demand CI runs

This commit is contained in:
M.K.
2026-02-07 23:28:24 +01:00
committed by GitHub
parent b827340dee
commit a421689f69

View File

@@ -3,6 +3,7 @@ name: CI
on:
pull_request:
branches: [ master ]
workflow_dispatch:
jobs:
build-test: