Skip to content

Add PRs to event triggers for github actions#3511

Merged
melund merged 1 commit into
masterfrom
github_actions_PRs
Apr 8, 2020
Merged

Add PRs to event triggers for github actions#3511
melund merged 1 commit into
masterfrom
github_actions_PRs

Conversation

@gforsyth

@gforsyth gforsyth commented Apr 8, 2020

Copy link
Copy Markdown
Collaborator

No description provided.

@melund melund merged commit 789f4d2 into master Apr 8, 2020
@scopatz scopatz deleted the github_actions_PRs branch April 8, 2020 16:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants