chore: Get rid of unneeded workspace definition #4835
| Job | Run time |
|---|---|
| 3m 57s | |
| 1m 58s | |
| 3m 4s | |
| 2m 14s | |
| 2m 52s | |
| 2m 15s | |
| 3s | |
| 2m 3s | |
| 1m 58s | |
| 2m 15s | |
| 2m 14s | |
| 2m 52s | |
| 3m 57s | |
| 4s | |
| 2m 15s | |
| 2m 14s | |
| 2m 0s | |
| 1m 58s | |
| 3m 57s | |
| 2m 52s | |
| 3s | |
| 1m 30s | |
| 2m 52s | |
| 2m 15s | |
| 2m 14s | |
| 3m 57s | |
| 1m 58s | |
| 2s | |
| 1h 1m 53s |