Merge remote-tracking branch 'origin/master' into dev

2025-04-25 13:57:21 +00:00 · 2018-11-03 13:26:48 +01:00 · 2018-11-03 13:26:48 +01:00 · a3847ddd2a
commit a3847ddd2a
parent dc0f023754 ef40a0ceea
1 changed files with 4 additions and 1 deletions
--- a/script/release
+++ b/script/release
@ -9,6 +9,9 @@ cd "$(dirname "$0")/.."
 # Install node modules
 yarn install

+# Verify everything is ok
+tsc
+
 script/build_frontend

 rm -rf dist