Skip to content
This repository was archived by the owner on Jun 17, 2025. It is now read-only.

Conversation

@Mariana-rc01
Copy link
Collaborator

@Mariana-rc01 Mariana-rc01 commented Jun 4, 2025

image

@Mariana-rc01 Mariana-rc01 requested review from JosLopes and voidbert June 4, 2025 00:48
@Mariana-rc01 Mariana-rc01 self-assigned this Jun 4, 2025
@JosLopes JosLopes merged commit fd7b38c into main Jun 4, 2025
2 checks passed
@Mariana-rc01 Mariana-rc01 deleted the mari/QuickCheck branch June 4, 2025 22:18
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants