[PR #1] [MERGED] Fix capability issue in coverage tests #114

New issue

Closed

opened 2026-10-29 14:19:52 +00:00 by bsakaguchi · 0 comments

bsakaguchi commented

2026-10-29 14:19:52 +00:00

Owner

📋 Pull Request Information

Original PR: https://github.com/kvcache-ai/AgentENV/pull/1
Author: @LSX-s-Software
Created: 7/25/2026
Status: ✅ Merged
Merged: 7/25/2026
Merged by: @yingdi-shan

Base: main ← Head: fix/coverage

📝 Commits (1)

1b22485 test: fix capability issue in coverage tests

📊 Changes

1 file changed (+9 additions, -15 deletions)

View changed files

📝 adev/src/coverage.rs (+9 -15)

📄 Description

No description provided

_{🔄 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/kvcache-ai/AgentENV/pull/1 **Author:** [@LSX-s-Software](https://github.com/LSX-s-Software) **Created:** 7/25/2026 **Status:** ✅ Merged **Merged:** 7/25/2026 **Merged by:** [@yingdi-shan](https://github.com/yingdi-shan) **Base:** `main` ← **Head:** `fix/coverage` --- ### 📝 Commits (1) - [`1b22485`](https://github.com/kvcache-ai/AgentENV/commit/1b22485e9db659bd039d56f339ce6172624d92af) test: fix capability issue in coverage tests ### 📊 Changes **1 file changed** (+9 additions, -15 deletions) <details> <summary>View changed files</summary> 📝 `adev/src/coverage.rs` (+9 -15) </details> ### 📄 Description _No description provided_ --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>

bsakaguchi

2026-10-29 14:19:52 +00:00