Skip to content

feat: add support for property verification migration#32

Merged
vbreuss merged 3 commits into
mainfrom
topic/add-property-migration
Apr 17, 2026
Merged

feat: add support for property verification migration#32
vbreuss merged 3 commits into
mainfrom
topic/add-property-migration

Fix review issues

7d5e2f2
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
GitHub Actions / Test Results succeeded Apr 17, 2026 in 0s

All 67 tests pass in 2m 22s

  3 files  ±0    3 suites  ±0   2m 22s ⏱️ +12s
 67 tests +2   67 ✅ +2  0 💤 ±0  0 ❌ ±0 
201 runs  +6  201 ✅ +6  0 💤 ±0  0 ❌ ±0 

Results for commit 7d5e2f2. ± Comparison against earlier commit c6f0dba.