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