Skip to content

Fix WHS reporting - #192

Merged
quetric merged 1 commit into
devfrom
fix/whs
Aug 18, 2026
Merged

Fix WHS reporting#192
quetric merged 1 commit into
devfrom
fix/whs

Conversation

@quetric

@quetric quetric commented Aug 18, 2026

Copy link
Copy Markdown
Collaborator

WHS was being picked up from the wrong column in the timing report. This fixes that and adds a test.

@github-actions

Copy link
Copy Markdown

Coverage

component covered total vs dev
linker 1540 3863 39.9% +0.6 pts
vrt 10889 14340 75.9% no change
vrtd 1490 4512 33.0% no change

Lines covered at 6940681, compared with the most recent successful dev run. Full HTML reports are attached to the test runs as artifacts.

@quetric
quetric merged commit 6a4cc11 into dev Aug 18, 2026
3 checks passed
@quetric
quetric deleted the fix/whs branch August 18, 2026 10:41
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.

1 participant