Skip to content

ci: cut Miri test time from 16 minutes to 90 seconds - #1859

Merged
jprendes merged 4 commits into
hyperlight-dev:mainfrom
jprendes:ci-miri-parallel-job
Sep 28, 2026
Merged

jprendes merged 4 commits into
hyperlight-dev:mainfrom
jprendes:ci-miri-parallel-job

Update aarch64 test description in workflow

5ad1ddf
Select commit
Loading
Failed to load commit list.
DCO / DCO succeeded Sep 28, 2026 in 1s

DCO

All commits are signed off!