Merge branch 'main' into dev

simonsobs · Sep 24, 2024 · 28c7344 · 28c7344
2 parents 602a66f + e696147
commit 28c7344
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 4 deletions.
diff --git a/.github/workflows/type-check.yml b/.github/workflows/type-check.yml
@@ -8,6 +8,14 @@ on:
     branches:
       - main
 
+concurrency:
+  group: type-check-${{ github.head_ref }}
+  cancel-in-progress: true
+
+env:
+  PYTHONUNBUFFERED: "1"
+  FORCE_COLOR: "1"
+
 jobs:
   run:
     runs-on: ubuntu-latest
@@ -28,4 +36,4 @@ jobs:
           pip list
 
       - name: Run mypy
-        run: mypy src/ tests/
+        run: mypy --show-traceback src/ tests/
diff --git a/ci/latest/requirements.txt b/ci/latest/requirements.txt
@@ -5,10 +5,10 @@ nextline==0.7.16
 nextline-graphql==0.7.9
 transitions==0.9.2
 httpx==0.27.2
-hypothesis==6.112.0
+hypothesis==6.112.1
 black==24.8.0
 pytest-asyncio==0.24.0
 pytest-cov==5.0.0
-pytest==8.3.2
-pytest-httpx==0.30.0
+pytest==8.3.3
+pytest-httpx==0.31.2
 deepdiff==8.0.1