add workflows for tests

Author: Deric-W

.github/codecov.yaml

@@ -0,0 +1,8 @@
+coverage:
+  status:
+    project:
+      default:
+        informational: true
+    patch:
+      default:
+        informational: true

.github/workflows/Tests.yaml

@@ -0,0 +1,41 @@
+name: Tests
+
+on: [push, workflow_dispatch]
+
+jobs:
+  Test:
+    strategy:
+      matrix:
+        python-version: ["3.10"]
+        os: [ubuntu-latest]
+
+    runs-on: ${{ matrix.os }}
+
+    steps:
+    - name: Checkout Repository
+      uses: actions/checkout@v3
+
+    - name: Set up Python ${{ matrix.python-version }}
+      uses: actions/setup-python@v4
+      with:
+        python-version: ${{ matrix.python-version }}
+
+    - name: Install test dependencies
+      run: python -m pip install --no-cache-dir --quiet mypy coverage build
+
+    - name: Run MyPy
+      run: python -m mypy --cache-dir=/dev/null -p lambda_calculus
+
+    - name: Build wheel
+      run: python -m build
+
+    - name: Install wheel
+      run: python -m pip install --no-cache-dir dist/lambda_calculus-*.whl
+
+    - name: Run tests and generate report
+      run: coverage run -m unittest discover --verbose
+
+    - name: Upload coverage
+      uses: codecov/codecov-action@v3
+      with:
+        flags: ${{ runner.os }}