Merge branch 'main' into koko/gsm-symbolic-task-1

open-thought · Feb 3, 2025 · 40b5c55 · 40b5c55
2 parents f2b5e88 + 3aeec71
commit 40b5c55
Show file tree

Hide file tree

Showing 49 changed files with 6,334 additions and 147 deletions.
diff --git a/.github/workflows/pre-commit.yml b/.github/workflows/pre-commit.yml
@@ -1,4 +1,8 @@
-name: Pre-commit
+name:  Pre-commit Checks
+
+permissions:
+  contents: read
+  pull-requests: write
 
 on:
   pull_request:

diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -9,6 +9,10 @@ on:
 jobs:
   test:
     runs-on: ubuntu-latest
+    permissions:
+      contents: read
+      issues: write
+      pull-requests: write
     strategy:
       matrix:
         python-version: ["3.11", "3.12"]
@@ -19,12 +23,12 @@ jobs:
       uses: actions/setup-python@v4
       with:
         python-version: ${{ matrix.python-version }}
-    
+
     - name: Install dependencies
       run: |
         python -m pip install --upgrade pip
         pip install ".[test]"
-    
+
     - name: Run tests
       run: |
         pytest