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.

Sign up for GitHub

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

Jump to bottom

Run release pipeline for pre-releases as well #1658

Merged

RobbeSneyders merged 1 commit into main from feature/pre-release-pipeline

Mar 2, 2023

Member

RobbeSneyders commented Mar 2, 2023

No description provided.


          Run release pipeline for pre-releases as well

b55119e

RobbeSneyders merged commit 108d59f into main

RobbeSneyders deleted the feature/pre-release-pipeline branch

March 2, 2023 22:23

coveralls commented Mar 2, 2023

Pull Request Test Coverage Report for Build 4318775853

0 of 0 changed or added relevant lines in 0 files are covered.
No unchanged relevant lines lost coverage.
Overall coverage remained the same at 93.238%

Totals
Change from base Build 4318739067:	0.0%
Covered Lines:	3268
Relevant Lines:	3505

💛 - Coveralls

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet