Skip to content

Improve CI jobs - #127

Merged
d4rken merged 2 commits into
mainfrom
ci_improvements
Apr 7, 2023
Merged

d4rken merged 2 commits into
mainfrom
ci_improvements

Conversation

@d4rken

@d4rken d4rken commented Apr 6, 2023

Copy link
Copy Markdown
Member

No description provided.

@d4rken d4rken added the enhancement Add a new feature of improve an existing feature label Apr 6, 2023
@d4rken
d4rken merged commit 3c5f1bf into main Apr 7, 2023
@d4rken
d4rken deleted the ci_improvements branch April 7, 2023 09:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement Add a new feature of improve an existing feature

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant