From bf56554b96e4f57fe274ec96e296e9afaffec579 Mon Sep 17 00:00:00 2001
From: JohnnyMorganz <johnnymorganz@outlook.com>
Date: Tue, 16 Aug 2022 20:10:55 +0100
Subject: [PATCH] Add types smoketest (#103)

---
 .github/workflows/ci.yml | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 0e291a9b..42f712e7 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -56,6 +56,26 @@ jobs:
       - name: Run Tests
         run: ${{ matrix.test-path }}
 
+  types_smoketest:
+    name: Types Smoketest
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+        with:
+          token: ${{ secrets.GITHUB_TOKEN }}
+          submodules: true
+
+      - name: Build Tool
+        run: |
+          mkdir build && cd build
+          cmake ..
+          cmake --build . --target luau-lsp -j 3
+
+      - name: Test types
+        run: |
+          touch test.lua
+          build/luau-lsp analyze --defs=scripts/globalTypes.d.lua test.lua
+
   lint_extension:
     name: Lint Extension
     runs-on: ubuntu-latest