Tailor CI to our purposes

.github/workflows/pyright.yaml

@@ -0,0 +1,48 @@
+
+name: Pyright
+
+env:
+  GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+
+on:
+  push:
+    branches:
+      - main
+    paths-ignore:
+      - 'docs/**'
+      - 'README.md'
+      - 'mkdocs.yml'
+  pull_request:
+    branches:
+      - main
+    paths-ignore:
+      - 'docs/**'
+      - 'README.md'
+      - 'mkdocs.yml'
+
+# Not possible to test windows capability:
+# https://github.com/orgs/community/discussions/25491
+jobs:
+  test:
+    runs-on: ubuntu-latest
+    defaults:
+      run:
+        shell: bash -l {0}
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v2
+      - uses: actions/setup-python@v5
+        with:
+          python-version: '3.10'
+      - name: Create keys.cfg
+        run: |
+          touch keys.cfg
+      - name: Install rye
+        run: |
+          curl -LsSf https://astral.sh/rye/install.sh | sh
+      - name: Install dependencies
+        run: |
+            rye sync
+      - name: Typecheck replayio code
+        run: |
+            rye run replayio-typecheck

.github/workflows/pytest.yaml

@@ -33,27 +33,19 @@ jobs:
         uses: actions/checkout@v2
       - uses: actions/setup-python@v5
         with:
-          python-version: '3.9'
+          python-version: '3.10'
       - name: Pull swe-agent docker container
         run: |
           docker pull sweagent/swe-agent:latest
       - name: Create keys.cfg
         run: |
           touch keys.cfg
-      - name: Install uv
+      - name: Install rye
         run: |
-          curl -LsSf https://astral.sh/uv/install.sh | sh
+          curl -LsSf https://astral.sh/rye/install.sh | sh
       - name: Install dependencies
         run: |
-            uv pip install --python ${Python_ROOT_DIR} '.[dev]'
-      - name: Run pytest
-        uses: sjvrijn/pytest-last-failed@v2
-        with:
-          pytest-args: '--exitfirst --cov'
-      - name: Explicitly convert coverage to xml
-        run: coverage xml
-      - name: Upload coverage reports to Codecov
-        uses: codecov/[email protected]
-        with:
-          token: ${{ secrets.CODECOV_TOKEN }}
-          slug: princeton-nlp/SWE-agent
+            rye sync
+      - name: Run replayio tests
+        run: |
+            rye run replayio-tests

pyproject.toml

@@ -224,4 +224,5 @@ aci = "aci"
 required-imports = ["from __future__ import annotations"]
 
 [tool.rye.scripts]
-replayio-tests = "pytest -m replayio"
+replayio-tests = "pytest -m replayio"
+replayio-typecheck = "pyright tdd/**/*.py sweagent/investigations/**/*.py"