tree 586adf2e388918ff72d38a7901df4bb2335ab6b2
parent b460ec9961de50a67cdd2fd58437d76d86a6ed14
author Tim Windelschmidt <tim@monogon.tech> 1751150743 +0200
committer Tim Windelschmidt <tim@monogon.tech> 1751153711 +0000

.github/workflows: allow manual run

Change-Id: I299d9a69fbb9f66c0e7b1af342df5f8ad442a1f2
Reviewed-on: https://review.monogon.dev/c/monogon/+/4349
Tested-by: Jenkins CI
Reviewed-by: Tim Windelschmidt <tim@monogon.tech>