chore(webui): handle malformed rivens so they can be deleted at least #2469

Merged
Sainan merged 1 commits from webui-riven-catch into main 2025-07-11 21:15:05 -07:00
Owner

Closes #2468

Closes #2468
Sainan added 1 commit 2025-07-11 00:19:02 -07:00
chore(webui): handle malformed rivens so they can be deleted at least
All checks were successful
Build / build (pull_request) Successful in 56s
4274997c1c
Sainan merged commit f4c7ce582b into main 2025-07-11 21:15:05 -07:00
Sainan deleted branch webui-riven-catch 2025-07-11 21:15:05 -07:00
Sign in to join this conversation.
No description provided.