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

fix(#64) #67

Merged
merged 8 commits into from Mar 26, 2024
Merged

fix(#64) #67

merged 8 commits into from Mar 26, 2024

Conversation

h1alexbel
Copy link
Contributor

@h1alexbel h1alexbel commented Mar 26, 2024

ref #64


PR-Codex overview

This PR focuses on reviewing bug reports and todo messages for quality issues.

Detailed summary

  • Added configurations to exclude specific files in pdd
  • Reviewed bug report formulation in user-prompt.ts
  • Reviewed todo message formulation in pdd-prompt.ts

✨ Ask PR-Codex anything about this PR by commenting with /codex {your question}

Copy link

codecov bot commented Mar 26, 2024

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 12.62%. Comparing base (d268175) to head (924a228).

Additional details and impacted files
@@           Coverage Diff           @@
##           master      #67   +/-   ##
=======================================
  Coverage   12.62%   12.62%           
=======================================
  Files          26       26           
  Lines         301      301           
  Branches       39       39           
=======================================
  Hits           38       38           
  Misses        263      263           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@h1alexbel
Copy link
Contributor Author

@rultor merge

@rultor
Copy link
Collaborator

rultor commented Mar 26, 2024

@rultor merge

@h1alexbel OK, I'll try to merge now. You can check the progress of the merge here

@rultor rultor merged commit 924a228 into master Mar 26, 2024
6 checks passed
@rultor
Copy link
Collaborator

rultor commented Mar 26, 2024

@rultor merge

@h1alexbel Done! FYI, the full log is here (took me 7min)

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.

None yet

2 participants