Skip to content

Fixed the Coveragematrix by making it a ribbon item - #1500

Merged
rdevoogtatstariongroup merged 1 commit into
developmentfrom
feat/gh1496-VcdCoverageMatrixError
Sep 15, 2026
Merged

rdevoogtatstariongroup merged 1 commit into
developmentfrom
feat/gh1496-VcdCoverageMatrixError

Conversation

@rdevoogtatstariongroup

Copy link
Copy Markdown
Contributor

Prerequisites

  • I have written a descriptive pull-request title
  • I have verified that there are no overlapping pull-requests open
  • I have verified that I am following the COMET-IME code style guidelines
  • I have provided test coverage for my change (where applicable)

Description

Fix #1496 made the matrix a ribbon item

@rdevoogtatstariongroup
rdevoogtatstariongroup merged commit 6dfa59e into development Sep 15, 2026
2 checks passed
@rdevoogtatstariongroup
rdevoogtatstariongroup deleted the feat/gh1496-VcdCoverageMatrixError branch September 15, 2026 11:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Requirements - VCD browser: exception when opening Coverage Matrix, moving to next tab, and then opening a 2nd coverage matrix

2 participants