Provide a risedev configure option to set ci-release instead of release
#2961
| Job | Run time |
|---|---|
| 6s | |
| 6s |
ci-release instead of release
#2961
| Job | Run time |
|---|---|
| 6s | |
| 6s |