PR #362 Delete deepsource.exe

Delete deepsource.exe #362

guibranco merged 1 commit into main from guibranco-patch-5

Delete deepsource.exe

3da83b75

korbit-ai added korbit-code-analysis

korbit-ai commented on 2024-08-30

github-actions added size/XS

guibranco enabled auto-merge (squash) 85 days ago

gstraccini added ☑️ auto-merge

gstraccini assigned

guibranco 85 days ago

gstraccini approved these changes on 2024-08-30

guibranco merged f2a4de6b into main 85 days ago

guibranco deleted the guibranco-patch-5 branch 85 days ago

Reviewers

gstraccini

korbit-ai

Assignees

guibranco

Labels

size/XS ☑️ auto-merge

Milestone

No milestone