Repository navigation

Run Miri once per architecture, on the hosted runners - #1900

Merged

jprendes merged 2 commits into

hyperlight-dev:mainfrom

jprendes:split-build-test

Oct 8, 2026

Merged

Run Miri once per architecture, on the hosted runners#1900
jprendes merged 2 commits into
hyperlight-dev:mainfrom
jprendes:split-build-test

Commits on Oct 8, 2026
- Run Miri once per architecture, on the hosted runners
  
  jprendes
  and
  Copilot
  committed
  f65eab9
- Run Miri once everywhere it ran, not only on pull requests
  
  jprendes
  and
  Copilot
  committed
  58ffc74