add LeanDojo-v2

Author: durant42040

.github/ISSUE_TEMPLATE/bug_report.md

@@ -0,0 +1,25 @@
+name: CI
+
+on:
+  push:
+    branches: ["*"]
+  pull_request:
+    branches: ["*"] 
+
+jobs:
+  build-release:
+    runs-on: ${{ matrix.os }}
+    strategy:
+      matrix:
+        os: [macos-latest, ubuntu-latest, windows-latest]
+    name: BuildRelease
+    steps:
+      - name: Checkout project
+        uses: actions/checkout@v4
+        with:
+          fetch-depth: 0
+      - name: Set up elan
+        run: curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y
+      - name: Build project
+        run: ~/.elan/bin/lake build
+        working-directory: lean_dojo_v2/external_api

.github/workflows/format_code.yaml

@@ -0,0 +1,55 @@
+name: Pytest
+
+on:
+  push:
+    branches: ["*"]
+  pull_request:
+    branches: ["*"]
+
+jobs:
+  test:
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        python-version: ["3.11"]
+    name: run pytest (Python ${{ matrix.python-version }})
+    steps:
+      - name: Checkout project
+        uses: actions/checkout@v4
+        with:
+          fetch-depth: 0
+
+      - name: Install uv
+        uses: astral-sh/setup-uv@v4
+        with:
+          version: "latest"
+
+      - name: Set up Python ${{ matrix.python-version }}
+        uses: actions/setup-python@v5
+        with:
+          python-version: ${{ matrix.python-version }}
+
+      - name: Create virtual environment
+        run: |
+          uv venv
+
+      - name: Set up elan
+        run: |
+          curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh -s -- -y
+          echo "$HOME/.elan/bin" >> $GITHUB_PATH
+
+      - name: Install Pantograph
+        run: |
+          uv pip install git+https://github.com/stanford-centaur/PyPantograph
+          
+      - name: Install project with dev dependencies
+        run: |
+          uv pip install -e ".[dev]"
+
+      - name: Run pytest
+        env:
+          GITHUB_ACCESS_TOKEN: ${{ secrets.GITHUB_ACCESS_TOKEN }}
+        run: |
+            source .venv/bin/activate
+            pytest -vvv
+

.github/workflows/push_pr.yml

@@ -1,8 +1,13 @@
-leanpkg.path
+.lake
+.vscode
 *.olean
+**/__pycache__
+*/.DS_Store
+
+*.pkl
+retrieval/bm25
 
 # Byte-compiled / optimized / DLL files
-__pycache__/
 *.py[cod]
 *$py.class
 
@@ -59,7 +64,6 @@ coverage.xml
 *.pot
 
 # Django stuff:
-*.log
 local_settings.py
 db.sqlite3
 db.sqlite3-journal
@@ -131,5 +135,37 @@ dmypy.json
 # Pyre type checker
 .pyre/
 
-# vscode debug config
-.vscode/
+# Jupyter notebooks
+.ipynb_checkpoints/
+
+# Python-related
+__pycache__/
+.pytest_cache
+.mypy_cache/
+.coverage*
+.venv
+dist/
+
+# Lean dependencies
+mathlib4/
+repl/
+
+# Environment variables
+.env
+
+# PostgreSQL data
+.data/
+
+.*
+!.gitignore
+!.github
+
+
+dynamic_database.json
+*.jsonl
+*.ckpt
+*.json
+
+raid/
+
+outputs-*