Skip to content

CI: do release build instead of dev build #4

CI: do release build instead of dev build

CI: do release build instead of dev build #4