Skip to content

CI: do release build instead of dev build #6

CI: do release build instead of dev build

CI: do release build instead of dev build #6