Repository navigation

chore: fix `axi` dependency and disable PD CI - #104

Merged

fischeti merged 2 commits into

mainfrom

Jun 10, 2026

Merged

chore: fix `axi` dependency and disable PD CI#104
fischeti merged 2 commits into
mainfrom
fix-axi-dep

Commits on Jun 10, 2026
- deps: fix axi dependency to a tagged commit
  fischeti
  committed
  3e6ec13
- ci: disable PD CI
  fischeti
  committed
  5a513ee