From 8fce8f01c7165b3d583afbf74e7245319494923c Mon Sep 17 00:00:00 2001 From: Prihod Date: Sat, 5 Sep 2026 18:32:14 +0300 Subject: [PATCH] Add workflow_dispatch to the tests workflow The sibling selftest workflow already had it; the matrix had no way to be started by hand, which this repository ran into on its first day. --- .github/workflows/tests.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml index 6624dca..090ccf2 100644 --- a/.github/workflows/tests.yml +++ b/.github/workflows/tests.yml @@ -4,10 +4,14 @@ name: tests # `pull_request` — a double run on every push to a branch with an open PR. Branches are checked # through PRs; only the main branch is left in `push`, so that the state of `main` stays visible # after a merge as well. +# `workflow_dispatch` is here for the case this repository met on its first day: the matrix could +# not be started at all without pushing code, and a repository whose Actions had just been switched +# on had no event to replay. The sibling workflow `testbench-selftest.yml` already had it. on: push: branches: [main] pull_request: + workflow_dispatch: # Not a decoration: without this block the jobs get GITHUB_TOKEN with the repository's default # scope, which in many repositories is read/write. No step of this workflow writes anything back to