Warning: This build has drifted.
The coverage report for this pull request build may be inaccurate because its base commit is no longer the HEAD of its target branch.
This means it includes changes from outside the original pull request, including, potentially, unrelated coverage changes.

    • Learn more: For more information on this, see Tracking coverage changes for pull request builds.
    • Fix now: For a quick fix, rebase this PR at GitHub. Your next report should be accurate.
    • Prevent going forward: To avoid this issue with future PRs, see these Recommended CI Configurations.

New Repo Setting:
INCLUDE COVERAGE % WITH WARNINGS ABOUT DRIFTED BUILDS?

Enabling this setting will include a (potentially inaccurate) coverage % with warning messages in status updates for drifted builds.

stillwater-sc / universal / 26398494759
84%
master: 84%

Ran 25 May 2026 05:17PM UTC

Jobs 1

Files 660

Run time 2min

Badge

Committed 25 May 2026 11:29AM UTC coverage: 84.058% (+0.03%) from 84.032%

Build # 26398494759

Build Type

github

Committed by

Commit Message

Merge 10af0a4de into 34b6a3f2d

Pull Request Pull Request #994: feat(internal): EFT primitive exactness proof (#988, #987 Layer 1)

Coverage Stats

117 of 125 new or added lines in 2 files covered. (93.6%)

5 existing lines in 2 files now uncovered.

47560 of 56580 relevant lines covered (84.06%)

8719129.26 hits per line

Uncovered Changes

Lines	Coverage	∆	File
8	91.92		internal/expansion/primitives/eft_exactness.cpp

Coverage Regressions

Lines	Coverage	∆	File
3	80.58	-0.67%	include/sw/universal/number/posit1/specialized/posit_16_1.hpp
2	89.78	0.0%	include/sw/universal/number/posito/posito_impl.hpp

Jobs

ID	Job ID	Ran	Files	Coverage
1	26398494759.1	25 May 2026 05:17PM UTC	660	84.06	GitHub Action Run

Source Files on build 26398494759