Move lint to end of CI. Narrow lint to server demo

2019-10-19 14:57:21 -05:00
parent d465e9409b
commit 8427f15da7
1 changed files with 4 additions and 4 deletions
@@ -6,10 +6,6 @@ compiler:

 jobs:
  include:
-    - stage: lint 
-      os: linux
-      compiler: clang
-      script: scan-build --status-bugs -analyze-headers -v make -j2
    - stage: demos-build
      os: linux
      compiler: gcc
@@ -22,4 +18,8 @@ jobs:
      os: linux
      compiler: gcc
      script: make clean test
+    - stage: lint 
+      os: linux
+      compiler: clang
+      script: scan-build --status-bugs -analyze-headers -v make -j2 server