From a45dd8a8f4cf365c1abc0932464058be4d4ee3ca Mon Sep 17 00:00:00 2001
From: John Bartholomew <jpa.bartholomew@gmail.com>
Date: Sun, 19 Jan 2025 22:06:27 +0000
Subject: [PATCH] chore: run GitHub CI action on more pull request activity

This corresponds to a similar commit on the C++ jsonnet repo:
https://github.com/google/jsonnet/commit/a02a615def105c861fb02ef8bc5d89c9c5a3c25b

The is intended to make it easier for me to trigger running CI on
existing pull requests.
---
 .github/workflows/ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index dc6be7b5..efd9e4e9 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -1,6 +1,7 @@
 name: ci
 on:
   pull_request:
+    types: [opened, reopened, synchronize, ready_for_review, review_requested]
     branches:
       - master
   push: