Repository navigation

Make the build system more robust - #16

Merged

habedi merged 2 commits into

mainfrom

Oct 17, 2026

Merged

Make the build system more robust#16
habedi merged 2 commits into
mainfrom
develop

Commits on Oct 3, 2026
- The base commit
  habedi
  committed
  7c2bea7
Commits on Oct 17, 2026
- Make `examples` and `bench` targets optional
  habedi
  committed
  25d4cfc