Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Improve ci pipline #389

Merged
merged 5 commits into from Jan 4, 2023
Merged

Improve ci pipline #389

merged 5 commits into from Jan 4, 2023

Conversation

chrwm
Copy link
Member

@chrwm chrwm commented Nov 24, 2022

Closes #382

@chrwm chrwm added the 🚀 feature New feature or request label Nov 24, 2022
@FlorianK13 FlorianK13 marked this pull request as ready for review January 2, 2023 06:58
Hopefully the last time we need to do some lousy updates just to run the CI pipeline.
@chrwm
Copy link
Member Author

chrwm commented Jan 4, 2023

Increase of version number has been implemented in #407

@chrwm chrwm merged commit 6fd1b8c into develop Jan 4, 2023
@chrwm chrwm deleted the feature-382-improve-ci-pipline branch January 4, 2023 16:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
🚀 feature New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants