Skip to content

Conversation

@Mr-Leshiy
Copy link
Contributor

@Mr-Leshiy Mr-Leshiy commented Nov 13, 2024

Description

Move proptest crate to the dev-dependencies of the crates.
Cleanup some property tests.

@Mr-Leshiy Mr-Leshiy self-assigned this Nov 13, 2024
@Mr-Leshiy Mr-Leshiy added the review me PR is ready for review label Nov 13, 2024
@Mr-Leshiy Mr-Leshiy requested a review from neil-iohk November 13, 2024 12:13
@github-actions
Copy link
Contributor

Test Report | ${\color{lightgreen}Pass: 213/213}$ | ${\color{red}Fail: 0/213}$ |

Copy link
Collaborator

@minikin minikin left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm

@minikin minikin merged commit 575a153 into main Nov 13, 2024
23 of 25 checks passed
@minikin minikin deleted the feat/proptest branch November 13, 2024 13:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

review me PR is ready for review

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

3 participants