Skip to content
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.

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

chore: bump cargo version #102

Merged
merged 3 commits into from
Nov 5, 2023
Merged

chore: bump cargo version #102

merged 3 commits into from
Nov 5, 2023

Conversation

cljoly
Copy link
Owner

@cljoly cljoly commented Oct 25, 2023

Prepare for the next alpha version

This also includes some fixes for the CI.

@github-actions
Copy link

github-actions bot commented Oct 25, 2023

Coverage Status

coverage: 92.0%. remained the same
when pulling d5915e2 on bump-v110a2
into 1b0405f on master.

Prepare for the next alpha version
@cljoly
Copy link
Owner Author

cljoly commented Oct 29, 2023

Rebased

@cljoly cljoly force-pushed the bump-v110a2 branch 2 times, most recently from 1a40e76 to b878514 Compare November 5, 2023 01:17
Testing mutants with all features enabled, so that we ensure a good test
coverage quality over all features.
@cljoly cljoly merged commit f8fa77f into master Nov 5, 2023
24 of 26 checks passed
@cljoly cljoly deleted the bump-v110a2 branch November 5, 2023 01:24
@cljoly
Copy link
Owner Author

cljoly commented Nov 5, 2023

Merged even if some mutants weren’t caught, this will be addressed in a follow-up PR.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant