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

Update ci #68

Merged

wpreimes merged 1 commit into master from fix-ci-win

May 30, 2023

Member

wpreimes commented May 30, 2023

No description provided.


          Update ci

ec78f39

wpreimes merged commit 08ce411 into master

13 checks passed

wpreimes deleted the fix-ci-win branch

May 30, 2023 11:00

coveralls commented May 30, 2023

Coverage: 88.296%. Remained the same when pulling ec78f39 on fix-ci-win into 0972792 on master.

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