stuff

hhu-adam · Aug 23, 2024 · 64b91da · 64b91da
1 parent 88ead4d
commit 64b91da
Show file tree

Hide file tree

Showing 5 changed files with 1,734 additions and 5,000 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -1,5 +1,5 @@
-name: Build
-run-name: Build Lean4monaco
+name: Test
+run-name: Test end-to-end
 on:
   workflow_dispatch:
   push:
@@ -46,12 +46,12 @@ jobs:
           bash elan-init.sh -y
           echo "$(realpath ~/.elan/bin)" >> $GITHUB_PATH
         shell: bash
-      # - name: Run lake build (Windows)
-      #   if: matrix.os == 'windows-latest'
-      #   run: |
-      #     cd demo/server/LeanProject
-      #     lake build
-      #   shell: bash
+      - name: Run lake build (Windows)
+        if: matrix.os == 'windows-latest'
+        run: |
+          cd demo/server/LeanProject
+          lake build
+        shell: bash
       - run: npm install
       - run: npm run setup_demo
       - name: Run tests

diff --git a/.github/workflows/test.yml → .github/workflows/docker.yml b/.github/workflows/test.yml → .github/workflows/docker.yml
@@ -1,5 +1,5 @@
-name: Test
-run-name: Test editor end-to-end
+name: Docker
+run-name: Test docker image
 on:
   workflow_dispatch:
   push: