From 0b5167cff5d6db837262afdbc13eb01357ef0dba Mon Sep 17 00:00:00 2001 From: "Christoph M. Becker" Date: Tue, 1 Oct 2024 11:43:46 +0200 Subject: [PATCH] [skip ci] Allow to run push workflows manually As is, we're running the push workflow for all pushes and pull request, plus we run more comprehensive nightly workflow for all branches which had commits during the day. That means that security branches may not run CI for weeks or even months. In the meantime, dependencies might be updated, which can cause later workflow runs to fail. For instance, a few openssl tests fail due to security fixes in OpenSSL[1], an update of Oracle Instant Client causes a couple of oci8 and pdo_oci tests to fail[2], and the macOS builds do no longer even built (investigation pending). Therefore, we allow to run the pull workflow manually, so it is possible to check the CI condition of temporary inactive branches from time to time. [1] [2] Closes GH-16148. --- .github/workflows/push.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml index 966bdea5937..0e0de633de2 100644 --- a/.github/workflows/push.yml +++ b/.github/workflows/push.yml @@ -33,6 +33,7 @@ on: - .circleci/* branches: - '**' + workflow_dispatch: ~ concurrency: group: ${{ github.workflow }}-${{ github.event.pull_request.url || github.run_id }} cancel-in-progress: true