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 more in CI #51

Merged

udoprog merged 2 commits into main from more-ci

Oct 29, 2023

Owner

udoprog commented Oct 29, 2023

This ensures that all relevant tests feature combinations build and pass clippy.

udoprog added the enhancement label

udoprog merged commit 993aa4a into main

15 checks passed

udoprog deleted the more-ci branch

October 29, 2023 10:50

udoprog added 2 commits

October 29, 2023 12:17


          Extend tool to perform housekeeping

1d8c191


          Make sure everything builds in CI

8e8a793

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

Labels