Provide a risedev configure option to set ci-release
instead of release
#17725
Labels
Milestone
ci-release
instead of release
#17725
release
takes too long, sometimes we want to quickly reproduce some issue in the production bulids.ci-release
should be optimal enough and faster to build.The text was updated successfully, but these errors were encountered: