Skip to content

Adjust workflows to changes in PR 49#50

Merged
planger merged 2 commits intomasterfrom
planger-patch-1
Dec 27, 2023
Merged

Adjust workflows to changes in PR 49#50
planger merged 2 commits intomasterfrom
planger-patch-1

Conversation

@planger
Copy link
Copy Markdown
Collaborator

@planger planger commented Dec 27, 2023

See #49

@planger planger merged commit 2be0608 into master Dec 27, 2023
@planger planger deleted the planger-patch-1 branch December 27, 2023 13:36
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.

1 participant