Skip to content

Fix github workflow#182

Merged
janisz merged 1 commit intomasterfrom
janisz-patch-1
Sep 15, 2022
Merged

Fix github workflow#182
janisz merged 1 commit intomasterfrom
janisz-patch-1

Conversation

@janisz
Copy link
Copy Markdown
Contributor

@janisz janisz commented Sep 15, 2022

Refs: #171

@janisz janisz requested a review from dhaus67 September 15, 2022 10:09
@janisz janisz merged commit 615bcce into master Sep 15, 2022
@janisz janisz deleted the janisz-patch-1 branch September 15, 2022 12:26
@janisz janisz added the bug Something isn't working label Sep 16, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants