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/dg #229

Merged
merged 16 commits into from
Nov 12, 2023
Merged

Chore/dg #229

merged 16 commits into from
Nov 12, 2023

Conversation

jianrong7
Copy link

Closes #220

@jianrong7 jianrong7 added type.Bug A bug priority.High Must do severity.High A flaw that affects most users and causes major problems for users. labels Nov 12, 2023
@jianrong7 jianrong7 added this to the v1.4 milestone Nov 12, 2023
@jianrong7 jianrong7 requested a review from Chrainx November 12, 2023 08:39
@jianrong7 jianrong7 self-assigned this Nov 12, 2023
Copy link

codecov bot commented Nov 12, 2023

Codecov Report

All modified and coverable lines are covered by tests ✅

📢 Thoughts on this report? Let us know!

Copy link

@Chrainx Chrainx left a comment

Choose a reason for hiding this comment

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

lgtm

@jianrong7 jianrong7 merged commit e7b75c3 into AY2324S1-CS2103T-W11-2:master Nov 12, 2023
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
priority.High Must do severity.High A flaw that affects most users and causes major problems for users. type.Bug A bug
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Update DG
2 participants