Repository navigation

chore: bump reva to latest main - #3642

Merged

v-scharf merged 2 commits into

mainfrom

Oct 2, 2026

Merged

chore: bump reva to latest main#3642
v-scharf merged 2 commits into
mainfrom
bump-reva

Commits on Oct 2, 2026
- chore: bump reva to latest main
  
  micbar
  authored and
  v-scharf
  committed
  a9030e3
- adjust tests
  v-scharf
  committed
  2267f9f