Skip to content
This repository was archived by the owner on Feb 18, 2023. It is now read-only.

Fixed survived pit mutation#77

Merged
lorenzobucci merged 1 commit intomasterfrom
fix-pit-mutation
Aug 9, 2021
Merged

Fixed survived pit mutation#77
lorenzobucci merged 1 commit intomasterfrom
fix-pit-mutation

Conversation

@lorenzobucci
Copy link
Copy Markdown
Collaborator

@lorenzobucci lorenzobucci commented Aug 9, 2021

Closes #76

@lorenzobucci lorenzobucci requested a review from marcodiri August 9, 2021 20:52
@lorenzobucci lorenzobucci self-assigned this Aug 9, 2021
@sonarqubecloud
Copy link
Copy Markdown

sonarqubecloud bot commented Aug 9, 2021

Kudos, SonarCloud Quality Gate passed!    Quality Gate passed

Bug A 0 Bugs
Vulnerability A 0 Vulnerabilities
Security Hotspot A 0 Security Hotspots
Code Smell A 0 Code Smells

No Coverage information No Coverage information
0.0% 0.0% Duplication

@lorenzobucci lorenzobucci merged commit 73b143c into master Aug 9, 2021
@lorenzobucci lorenzobucci deleted the fix-pit-mutation branch August 9, 2021 21:10
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Reviewers

@marcodiri marcodiri Awaiting requested review from marcodiri

Assignees

@lorenzobucci lorenzobucci

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Fix survive pit mutation

1 participant

@lorenzobucci