Repository navigation

ci: run the Rust unit tests natively and under Miri - #128

Merged

awolverp merged 2 commits into

awolverp:mainfrom

greenclaw:test/miri

Nov 2, 2026

Merged

ci: run the Rust unit tests natively and under Miri#128
awolverp merged 2 commits into
awolverp:mainfrom
greenclaw:test/miri

Commits on Nov 1, 2026
- test: unit tests for LazyHeap and LinkedList
  greenclaw
  committed
  7b45b78
- ci: run the Rust unit tests natively and under Miri
  greenclaw
  committed
  a838c96