diff options
author | Michael Muré <batolettre@gmail.com> | 2020-02-13 00:05:04 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-13 00:05:04 +0100 |
commit | 0066f3d8c278558eeac70d3cd7ca21c360014346 (patch) | |
tree | ca40e95496b90837fb0e7a5ff4ac5b966ceba6ec /webui/Makefile | |
parent | 269036bdf25af8fefbca24b7455c4e0b7d1d72b5 (diff) | |
parent | ab09c03a1e55d5c2e35f332f0e5f6335c1670427 (diff) | |
download | git-bug-0066f3d8c278558eeac70d3cd7ca21c360014346.tar.gz |
Merge pull request #323 from MichaelMure/webui/typescript
Webui/typescript
Diffstat (limited to 'webui/Makefile')
-rw-r--r-- | webui/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/webui/Makefile b/webui/Makefile index 1f023cc9..4ba7fa29 100644 --- a/webui/Makefile +++ b/webui/Makefile @@ -5,7 +5,9 @@ install: npm install test: + npm run generate npm run lint + CI=true npm run test build: npm run build |