From 6af0aeebe259ac29b66df8bbc7266983b06dd82d Mon Sep 17 00:00:00 2001 From: Stefanni Brasil Date: Thu, 15 Jan 2026 11:16:51 -0700 Subject: [PATCH] Add option to trigger GH workflows manually It would be helpful to have the option to manually trigger a GitHub workflow via the UI. That can be done by adding the `workflow_dispatch:` key. --- .github/workflows/bench.yml | 1 + .github/workflows/codeql.yml | 1 + .github/workflows/ruby.yml | 1 + 3 files changed, 3 insertions(+) diff --git a/.github/workflows/bench.yml b/.github/workflows/bench.yml index 2d1d66e3f3..28b0a50ae9 100644 --- a/.github/workflows/bench.yml +++ b/.github/workflows/bench.yml @@ -5,6 +5,7 @@ on: branches: [ main ] pull_request: branches: [ main ] + workflow_dispatch: permissions: contents: read diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml index 99f9a28037..05d3a0c06f 100644 --- a/.github/workflows/codeql.yml +++ b/.github/workflows/codeql.yml @@ -3,6 +3,7 @@ name: "CodeQL" on: schedule: - cron: '56 11 * * 5' + workflow_dispatch: jobs: analyze: diff --git a/.github/workflows/ruby.yml b/.github/workflows/ruby.yml index c54a857b34..fea760df99 100644 --- a/.github/workflows/ruby.yml +++ b/.github/workflows/ruby.yml @@ -12,6 +12,7 @@ on: branches: [ main ] pull_request: branches: [ main ] + workflow_dispatch: permissions: contents: read