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.

Sign up for GitHub

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

Jump to bottom

✨ add problem removal #154

Merged

comavius merged 3 commits into develop from feat/#153-problem-removal-from-registry

Feb 24, 2025

Member

comavius commented Feb 24, 2025

関連Issue

close problem registry server traitに問題の削除を追加 #153

概要

問題の削除やテストケースの更新に対応するためのインターフェースを追加


          ✨ add problem removal

2cbdddd

comavius added the enhancement label

comavius added 2 commits

February 25, 2025 00:41


          ✨ add impl for local registry

3202d93


          🎨 cargo fmt

56d058e

comavius merged commit a567572 into develop

6 checks passed

comavius deleted the feat/#153-problem-removal-from-registry branch

February 24, 2025 15:53

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels