You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
GitHubActionsReport: New ## G section added. The Microsoft.Testing.Extensions.GitHubActionsReport MTP extension had no glossary entry despite being a significant user-facing feature. The entry covers all four CLI features (per-assembly log groups, failure/skip annotations, job summary, slow-test notices), the MSTest.Sdk opt-in property, TestingExtensionsProfile auto-enable, and NativeAOT/VSTest limitations.
Terms Updated: none
Changes Analyzed:
Reviewed 1 commit from the last 7 days
Analyzed 15 merged PRs from 2026-06-29 to 2026-07-06
🤖 Automated content by GitHub Copilot. Posted via a maintainer's GitHub token, so it appears under their account — the account owner did not write or approve this content personally. Generated by the Glossary Maintainer workflow. · 98.4 AIC · ⌖ 17.3 AIC · ⊞ 8.2K · [◷]( · ◷)
Add this agentic workflows to your repo
To install this agentic workflow, run
gh aw add githubnext/agentics/workflows/glossary-maintainer.md@main
expires on Jul 8, 2026, 5:58 AM UTC
Note
This was originally intended as a pull request, but GitHub Actions is not permitted to create or approve pull requests in this repository.
The changes have been pushed to branch docs/glossary-weekly-scan-2026-07-06-4dcdcfa5eb84d42a.
To fix the permissions issue, go to Settings → Actions → General and enable Allow GitHub Actions to create and approve pull requests. See also: gh-aw FAQ
Show patch preview (46 of 46 lines)
From 00b4f2b20acd1d9db9384ee987b688363189bae0 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]" <github-actions[bot]@users.noreply.github.com>
Date: Mon, 6 Jul 2026 05:56:31 +0000
Subject: [PATCH] docs: add GitHubActionsReport entry to glossary
Add a new ## G section with a GitHubActionsReport entry covering the
Microsoft.Testing.Extensions.GitHubActionsReport MTP extension. The
entry documents all four CLI features (log groups, failure/skip
annotations, job summary, slow-test notices), MSTest.Sdk opt-in,
and NativeAOT/VSTest limitations.
Identified from PR #9641 (weekly full scan, 2026-07-06).
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
---
docs/glossary.md | 13 +++++++++++++
1 file changed, 13 insertions(+)
diff --git a/docs/glossary.md b/docs/glossary.md
index aabbbf1..4df68f6 100644
--- a/docs/glossary.md+++ b/docs/glossary.md@@ -108,6 +108,19 @@ The practice of using formal mathematical proofs to establish correctness proper
A specific code component (function, struct, or class) selected for formal verification. Each FV target progresses through defined phases: (1) identified, (2) informal spec extracted, (3) Lean 4 formal spec written, (4) implementation model extracted, (5) proofs completed. Current targets are listed in `formal-verification/TARGETS.md`.
+## G++### GitHubActionsReport++An MTP extension (`Microsoft.Testing.Extensions.GitHubActionsReport`) that emits GitHub Actions-native workflow commands so test runs on GitHub Actions produce a first-class CI experience. The extension activates only when the test run executes inside GitHub Actions (`GITHUB_ACTIONS=true`) and the `--report-gh` master switch is passed; it no-ops otherwise. When active, it provides four independently toggleable features:++- **Per-assembly log groups** (`--report-gh-groups`): emits `::group::`/`::endgroup::` workflow commands so each test assembly's output is collapsed by default in the runner UI.+- **Failure and skip annotations**
... (truncated)
Glossary Updates
Scan Type: Full scan (weekly — Monday 2026-07-06)
Terms Added:
## Gsection added. TheMicrosoft.Testing.Extensions.GitHubActionsReportMTP extension had no glossary entry despite being a significant user-facing feature. The entry covers all four CLI features (per-assembly log groups, failure/skip annotations, job summary, slow-test notices), the MSTest.Sdk opt-in property,TestingExtensionsProfileauto-enable, and NativeAOT/VSTest limitations.Terms Updated: none
Changes Analyzed:
::warningannotations for skipped tests in GitHubActionsReport #9641:Emit ::warning annotations for skipped tests in GitHubActionsReport— surfaced the missing glossary entry for this extensionRelated Changes:
8609d3b:[main] Update dependencies from microsoft/testfx (#9649)— automated dep bump only::warningannotations for skipped tests in GitHubActionsReport #9641:Emit ::warning annotations for skipped tests in GitHubActionsReport— trigger for the new entryAdd this agentic workflows to your repo
To install this agentic workflow, run
Note
This was originally intended as a pull request, but GitHub Actions is not permitted to create or approve pull requests in this repository.
The changes have been pushed to branch
docs/glossary-weekly-scan-2026-07-06-4dcdcfa5eb84d42a.Click here to create the pull request
To fix the permissions issue, go to Settings → Actions → General and enable Allow GitHub Actions to create and approve pull requests. See also: gh-aw FAQ
Show patch preview (46 of 46 lines)