tweak scripts to support building for dev.eessi.io repository
#523
| Job | Run time |
|---|---|
| 8m 47s | |
| 8m 47s |
dev.eessi.io repository
#523
| Job | Run time |
|---|---|
| 8m 47s | |
| 8m 47s |