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

Undo #2900 #2904

Merged

schillic merged 1 commit into master from schillic/ci_pull

Nov 25, 2021

Member

schillic commented Nov 24, 2021 •

edited

Loading

I realized that the change in #2900 means that there is no coverage running on master anymore. So I suggest to undo the change.


          undo #2900

be9f096

schillic requested a review from mforets

November 24, 2021 21:02

mforets approved these changes

View reviewed changes

schillic merged commit e3c2f46 into master

schillic deleted the schillic/ci_pull branch

November 25, 2021 11:53

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

Labels

None yet