run-llama/semtools
1
0
Fork 0
mirror of https://github.com/run-llama/semtools.git synced 2026-07-21 11:15:24 -04:00
Code Issues 4 Packages Projects Releases 10 Wiki Activity

[PR #2] [MERGED] add syntax highlighting + update tomls #17

New Issue
Closed
opened 2026-02-16 04:15:14 -05:00 by yindo · 0 comments
yindo commented 2026-02-16 04:15:14 -05:00
Owner
Copy Link
Copy Source

📋 Pull Request Information

Original PR: https://github.com/run-llama/semtools/pull/2
Author: @logan-markewich
Created: 8/26/2025
Status: ✅ Merged
Merged: 8/26/2025
Merged by: @logan-markewich

Base: main ← Head: logan/update_tomls

📝 Commits (2)

  • ddfc250 add syntax highlighting + update tomls
  • 4dfbc23 apply formatting

📊 Changes

4 files changed (+37 additions, -7 deletions)

View changed files

📝 Cargo.lock (+2 -2)
📝 crates/parse/Cargo.toml (+8 -1)
📝 crates/search/Cargo.toml (+8 -1)
📝 crates/search/src/main.rs (+19 -3)

📄 Description

  • add match highlighting to search results
  • update tomls with readmes

🔄 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/run-llama/semtools/pull/2 **Author:** [@logan-markewich](https://github.com/logan-markewich) **Created:** 8/26/2025 **Status:** ✅ Merged **Merged:** 8/26/2025 **Merged by:** [@logan-markewich](https://github.com/logan-markewich) **Base:** `main` ← **Head:** `logan/update_tomls` --- ### 📝 Commits (2) - [`ddfc250`](https://github.com/run-llama/semtools/commit/ddfc2509c4dcf25a1b73700198b8c16c17b18d69) add syntax highlighting + update tomls - [`4dfbc23`](https://github.com/run-llama/semtools/commit/4dfbc239f623b3a2ab2f62629294341c9c6090e9) apply formatting ### 📊 Changes **4 files changed** (+37 additions, -7 deletions) <details> <summary>View changed files</summary> 📝 `Cargo.lock` (+2 -2) 📝 `crates/parse/Cargo.toml` (+8 -1) 📝 `crates/search/Cargo.toml` (+8 -1) 📝 `crates/search/src/main.rs` (+19 -3) </details> ### 📄 Description - add match highlighting to search results - update tomls with readmes --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
yindo added the pull-request label 2026-02-16 04:15:14 -05:00
yindo closed this issue 2026-02-16 04:15:14 -05:00
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
enhancement
pull-request
Mirrored from GitHub Pull Request
No Label pull-request
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
yindo
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: run-llama/semtools#17
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?