From e41afb9dbf157be086b4e1bf5753fd80eb795c57 Mon Sep 17 00:00:00 2001
From: Eric Hanson <5846501+ericphanson@users.noreply.github.com>
Date: Sat, 10 Aug 2024 15:05:10 +0200
Subject: [PATCH] Add `workflow_dispatch` to `ci_integration.yml`

---
 .github/workflows/ci_integration.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/ci_integration.yml b/.github/workflows/ci_integration.yml
index bcfa682f..4e686a90 100644
--- a/.github/workflows/ci_integration.yml
+++ b/.github/workflows/ci_integration.yml
@@ -8,6 +8,7 @@ name: CI (integration tests)
 on:
   merge_group: # GitHub Merge Queue
   pull_request: # but we will skip the integration tests on PR builds, to avoid hitting rate limits
+  workflow_dispatch: # can manually trigger integration tests for PRs
   push:
     branches:
       - master