mirror of
https://github.com/Ryangr0/rust-regex-gui-webgrip.git
synced 2026-08-14 00:05:11 +00:00
[PR #3] [MERGED] Add execution and logging #24
Labels
No labels
enhancement
pull-request
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
ryangr0/rust-regex-gui-webgrip#24
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/Ryangr0/rust-regex-gui-webgrip/pull/3
Author: @Ryangr0
Created: 6/8/2025
Status: ✅ Merged
Merged: 6/8/2025
Merged by: @Ryangr0
Base:
main← Head:codex/add-execute-button-and-log-box📝 Commits (1)
fe6719ffeat(logging): use tracing for log collection📊 Changes
7 files changed (+218 additions, -8 deletions)
View changed files
📝
Cargo.lock(+75 -0)📝
Cargo.toml(+2 -0)📝
README.md(+3 -0)➕
src/application/mod.rs(+21 -0)➕
src/domain/mod.rs(+13 -0)📝
src/main.rs(+38 -8)➕
src/telemetry/mod.rs(+66 -0)📄 Description
Summary
tracingand capture logs in-memoryTesting
cargo checkhttps://chatgpt.com/codex/tasks/task_e_6845a1a22a6c832083e5c82710b74266
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.