ryangr0/rust-regex-gui-webgrip
1
0
Fork 0
mirror of https://github.com/Ryangr0/rust-regex-gui-webgrip.git synced 2026-08-14 00:05:11 +00:00
Code Issues 3 Projects Packages Wiki Activity

[PR #4] [MERGED] feat: filter tracing output at info level #23

New issue
Closed
opened 2026-06-08 09:04:41 +00:00 by ryangr0 · 0 comments
ryangr0 commented 2026-06-08 09:04:41 +00:00
Owner
Copy link

📋 Pull Request Information

Original PR: https://github.com/Ryangr0/rust-regex-gui-webgrip/pull/4
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)

  • 16dafe3 feat: filter tracing output at info level

📊 Changes

6 files changed (+47 additions, -18 deletions)

View changed files

📝 Cargo.lock (+31 -3)
📝 Cargo.toml (+1 -1)
📝 README.md (+2 -1)
📝 src/domain/mod.rs (+1 -9)
📝 src/main.rs (+2 -1)
📝 src/telemetry/mod.rs (+10 -3)

📄 Description

Description

Checklist:

  • My code is up to date with upstream, I've pulled in the latest changes
  • I've added the necessary labels to my PR

Changelog

Changed

Fixed

🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.

## 📋 Pull Request Information **Original PR:** https://github.com/Ryangr0/rust-regex-gui-webgrip/pull/4 **Author:** [@Ryangr0](https://github.com/Ryangr0) **Created:** 6/8/2025 **Status:** ✅ Merged **Merged:** 6/8/2025 **Merged by:** [@Ryangr0](https://github.com/Ryangr0) **Base:** `main` ← **Head:** `codex/add-execute-button-and-log-box` --- ### 📝 Commits (1) - [`16dafe3`](https://github.com/Ryangr0/rust-regex-gui-webgrip/commit/16dafe3775ad1c8001c55fac223b9b7bd7a22a27) feat: filter tracing output at info level ### 📊 Changes **6 files changed** (+47 additions, -18 deletions) <details> <summary>View changed files</summary> 📝 `Cargo.lock` (+31 -3) 📝 `Cargo.toml` (+1 -1) 📝 `README.md` (+2 -1) 📝 `src/domain/mod.rs` (+1 -9) 📝 `src/main.rs` (+2 -1) 📝 `src/telemetry/mod.rs` (+10 -3) </details> ### 📄 Description ## Description <!-- Please include a summary of the changes and the related issue. Please also include relevant context. --> ## Checklist: - [ ] My code is up to date with upstream, I've pulled in the latest changes - [ ] I've added the necessary labels to my PR ## Changelog ### Changed ### Fixed --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
ryangr0 2026-06-08 09:04:41 +00:00
Sign in to join this conversation.
No Branch/Tag specified
Branches Tags
development
renovate/tokio-tracing-monorepo
main
gh-pages
codex/refactor-entire-project
v0.1.1
v0.1.0
Labels
Clear labels   
enhancement

   
pull-request
Mirrored from GitHub Pull Request

No labels
enhancement
pull-request
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
ryangr0/rust-regex-gui-webgrip#23
No description provided.