Skip to content

[Verda] Rename the datacrunch backend to verda#3359

Merged
peterschmidt85 merged 10 commits into
masterfrom
3344-verda-rename-datacrunch-to-verda
Dec 11, 2025
Merged

[Verda] Rename the datacrunch backend to verda#3359
peterschmidt85 merged 10 commits into
masterfrom
3344-verda-rename-datacrunch-to-verda

[Verda] Rename the datacrunch backend to verda #3344

b792b83
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.