Skip to content

Commit

Permalink
chore: run GitHub CI action on more pull request activity
Browse files Browse the repository at this point in the history
This corresponds to a similar commit on the C++ jsonnet repo:
google/jsonnet@a02a615

The is intended to make it easier for me to trigger running CI on
existing pull requests.
  • Loading branch information
johnbartholomew committed Jan 19, 2025
1 parent 74c8d09 commit a45dd8a
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
name: ci
on:
pull_request:
types: [opened, reopened, synchronize, ready_for_review, review_requested]
branches:
- master
push:
Expand Down

0 comments on commit a45dd8a

Please sign in to comment.