[Verda] Rename the datacrunch backend to verda
#5981
| Job | Run time |
|---|---|
| 3s | |
| 1m 24s | |
| 8s | |
| 12s | |
| 44s | |
| 34s | |
| 1m 4s | |
| 17s | |
| 24s | |
| 2m 14s | |
| 2m 45s | |
| 2m 19s | |
| 4m 41s | |
| 1m 53s | |
| 4m 31s | |
| 4m 14s | |
| 4m 1s | |
| 4m 21s | |
| 1m 57s | |
| 4m 14s | |
| 1m 59s | |
| 2m 0s | |
| 2m 53s | |
| 4m 24s | |
| 31s | |
| 37s | |
| 16s | |
| 19s | |
| 54m 59s |