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

Change Github CI #973

Merged

qarmin merged 4 commits into master from github_ci

May 14, 2023

Owner

qarmin commented May 12, 2023 •

edited

Loading

Removes warnings in CI(except windows)
Fixes regression with sorting results

qarmin added 4 commits

May 11, 2023 22:14


          Change Github CI


          Windows CI

b1a910b


          Fix sorting

3b62a3e


          Windows

e00c6bd

qarmin marked this pull request as ready for review

May 14, 2023 13:00

qarmin merged commit 04a91ae into master

qarmin deleted the github_ci branch

May 14, 2023 13:00

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

Labels

None yet