Skip to content

Update workflow trigger to include pull requests - #164

Merged
daducci merged 1 commit into
daducci:masterfrom
arokem:patch-1
Aug 5, 2026
Merged

Update workflow trigger to include pull requests#164
daducci merged 1 commit into
daducci:masterfrom
arokem:patch-1

Conversation

@arokem

Copy link
Copy Markdown
Contributor

This would be great to have for CI testing of (for example) #163

@daducci
daducci merged commit 014228d into daducci:masterAug 5, 2026
Sign up for freeto 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

@arokem@daducci