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

build: better scripts #607

Merged

Kikobeats merged 1 commit into master from build

Dec 30, 2022

Member

Kikobeats commented Dec 29, 2022

No description provided.

Kikobeats force-pushed the build branch from f5034d2 to 9a134e6 Compare

December 29, 2022 23:52

Collaborator

coveralls commented Dec 29, 2022 •

edited

Coverage: 98.262% (+0.0005%) from 98.262% when pulling ac2991d on build into a6196f6 on master.


          build: better scripts

ac2991d

Kikobeats force-pushed the build branch from 9a134e6 to ac2991d Compare

December 29, 2022 23:59

Kikobeats merged commit aa33f08 into master

Kikobeats deleted the build branch

December 30, 2022 00:00

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