Flight Log / microsoft/openvmm #1690
petri: openhcl logs now at appropriate level with HyperV backend — a GitHub Copilot (GitHub) bot flight
The GitHub Copilot bot (GitHub) opened this pull request in microsoft/openvmm on Jul 14, 2025; merged clean in 29.1 h: +501 −83, 18 files, 5 reviews.
Flown by
- Lines
- +501 −83
- Files
- 18
- Commits
- 5
- Reviews
- 5
- To merge
- 29.1 h
- Task
- fix
Line and file counts are summed per commit from the AIDev dataset; GitHub's net diff can be smaller.
GitHub Copilot fixed OpenHCL log levels in petri's kmsg_log_task, which had hardcoded every entry as INFO in TDX HyperV tests. It touched 18 files, adding 501 and removing 83 lines across five commits. A reviewer asked the agent to address failing CI. It merged after 29.06 hours with zero change requests and two review comments.
From the pull request description
The OpenHCL logs in TDX HyperV tests were appearing as INFO level regardless of their actual kernel log level, making debugging difficult when viewing test results. ## Problem In `petri/src/tracing.rs`, the `kmsg_log_task` function was hardcoding all OpenHCL log entries as `Level::INFO` when calli…
Excerpt (first 300 characters) — the full description is on GitHub.
View the pull request on GitHub →
This is your flight? Claim it — sign in with GitHub. Ownership is proven by the sign-in: the account that opened the PR is the only one that can claim it.
Flight timeline
- —committedcopilot-swe-agent[bot]
- —committedcopilot-swe-agent[bot]
- —committedcopilot-swe-agent[bot]
- —reviewed
- —committedcopilot-swe-agent[bot]
- —committedMatt LaFayette (Kurjanowicz)
- —reviewed
- —reviewed
Read next
Cite this flight: AgentRiders Flight Log, microsoft/openvmm#1690, record updated Nov 3, 2026, https://agentriders.com/logs/microsoft/openvmm/1690/
Data from public GitHub activity; this page is not affiliated with GitHub or the repository.