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

Enhance User Project Identification #58

Merged
merged 1 commit into from
Sep 13, 2024
Merged

Enhance User Project Identification #58

merged 1 commit into from
Sep 13, 2024

Conversation

ksew1
Copy link
Member

@ksew1 ksew1 commented Sep 12, 2024

Closes #55

@ksew1 ksew1 linked an issue Sep 12, 2024 that may be closed by this pull request
@ksew1 ksew1 requested a review from THenry14 September 12, 2024 14:05
CHANGELOG.md Outdated Show resolved Hide resolved
crates/cairo-coverage/src/input/filter.rs Outdated Show resolved Hide resolved
crates/cairo-coverage/src/input/filter.rs Outdated Show resolved Hide resolved
@ksew1 ksew1 force-pushed the spr/main/77eb0f76 branch 2 times, most recently from f46e4db to d42fe23 Compare September 13, 2024 10:23
Base automatically changed from spr/main/dd9032f3 to main September 13, 2024 11:53
@ksew1 ksew1 changed the title Enhance User Project Identification in Cairo Coverage Enhance User Project Identification Sep 13, 2024
@ksew1 ksew1 merged commit 30be78d into main Sep 13, 2024
5 checks passed
@ksew1 ksew1 deleted the spr/main/77eb0f76 branch September 13, 2024 11:58
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.

Enhance User Project Identification
3 participants