Merge pull request #2 from SnO2WMaN/add-ci

Add workflow to check build successfully

.editorconfig

@@ -0,0 +1,13 @@
+root = true
+
+[*]
+indent_style = tab
+indent_size = 2
+end_of_line = lf
+charset = utf-8
+trim_trailing_whitespace = true
+insert_final_newline = true
+
+[*.{yml,yaml}]
+indent_style = space
+indent_size = 2

.github/workflows/ci.yml

@@ -0,0 +1,41 @@
+name: CI
+
+on:
+  push:
+    branches:
+      - master
+  pull_request:
+
+# concurrency:
+#   group: ${{ github.workflow }}-${{ github.ref }}
+#   cancel-in-progress: true
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v3
+      - name: Install elan
+        run: |
+          curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y --default-toolchain none
+          echo "$HOME/.elan/bin" >> $GITHUB_PATH
+      - name: Cache dependencies
+        uses: actions/cache@v3
+        with:
+          path: |
+            ./lake-packages
+          key: deps-${{ runner.os }}-${{ hashFiles('lean-toolchain') }}-${{ hashFiles('lake-manifest.json') }}
+          restore-keys: |
+            deps-${{ runner.os }}-${{ hashFiles('lean-toolchain') }}
+      - name: Cache build
+        uses: actions/cache@v3
+        with:
+          path: |
+            ./build
+          key: build-${{ runner.os }}-${{ hashFiles('lean-toolchain') }}-${{ github.sha }}
+          restore-keys: |
+            build-${{ runner.os }}-${{ hashFiles('lean-toolchain') }}
+      - name: Build
+        run: |
+          lake exe cache get
+          lake build

Logic.lean

@@ -3,7 +3,6 @@ import Logic.Vorspiel.Order
 import Logic.Vorspiel.Meta
 
 import Logic.Logic.LogicSymbol
-import Logic.Logic.Logic
 
 -- Propositional
 

Logic/Propositional/Basic/Formula.lean

@@ -1,4 +1,4 @@
-import Logic.Logic.Logic
+import Logic.Logic.LogicSymbol
 
 namespace LO
 
@@ -40,4 +40,4 @@ end Formula
 
 end Propositional
 
-end LO
+end LO