Revert OneAPI 2025.3 pinning in coverage workflow#2998

Merged

antonwolfy merged 4 commits into

Jul 23, 2026

Commits on Jul 13, 2026

Revert OneAPI 2025.3 pinning in coverage workflow

antonwolfy
and
claude
committed

Commits on Jul 21, 2026

Merge branch 'master' into revert-gh-2887
antonwolfy
authored

Commits on Jul 22, 2026

Merge branch 'master' into revert-gh-2887
antonwolfy
authored

Commits on Jul 23, 2026

Merge branch 'master' into revert-gh-2887
antonwolfy
authored