Skip to content

ci: fix output filename#116

Merged
guitarrapc merged 6 commits intomainfrom
feature/output_file
Oct 22, 2023
Merged

ci: fix output filename#116
guitarrapc merged 6 commits intomainfrom
feature/output_file

Conversation

@guitarrapc
Copy link
Copy Markdown
Owner

No description provided.

@guitarrapc guitarrapc merged commit c106b67 into main Oct 22, 2023
@guitarrapc guitarrapc deleted the feature/output_file branch October 22, 2023 07:06
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