Skip to content

chore: add more tracing#860

Merged
tusharmath merged 16 commits intomainfrom
chore/add-extra-trace
May 28, 2025
Merged

chore: add more tracing#860
tusharmath merged 16 commits intomainfrom
chore/add-extra-trace

Conversation

@ssddOnTop
Copy link
Copy Markdown
Collaborator

No description provided.

@github-actions github-actions bot added the type: chore Routine tasks like conversions, reorganization, and maintenance work. label May 28, 2025
Comment thread crates/forge_fs/src/is_binary.rs Outdated
Comment thread crates/forge_fs/src/read.rs Outdated
Comment thread crates/forge_infra/src/executor.rs Outdated
Comment thread crates/forge_main/src/ui.rs Outdated
Comment thread crates/forge_main/src/ui.rs Outdated
Comment thread crates/forge_main/src/ui.rs
Comment thread crates/forge_fs/src/read_range.rs Outdated
Comment thread crates/forge_main/src/input.rs Outdated
Comment thread crates/forge_main/src/update.rs Outdated
Comment thread crates/forge_services/src/tool_service.rs Outdated
Comment thread crates/forge_services/src/tools/patch.rs Outdated
Comment thread crates/forge_main/src/ui.rs
Comment thread crates/forge_infra/src/executor.rs Outdated
Comment thread crates/forge_services/src/tool_service.rs Outdated
@tusharmath tusharmath merged commit d94d347 into main May 28, 2025
8 checks passed
@ssddOnTop ssddOnTop deleted the chore/add-extra-trace branch May 28, 2025 19:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type: chore Routine tasks like conversions, reorganization, and maintenance work.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants