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 Jakub Vrana
parent e471d8b0cf
commit 1879da5ad8

View File

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