diff --git a/.github/dev-tools/package.json b/.github/dev-tools/package.json index b22e3c7..f827298 100644 --- a/.github/dev-tools/package.json +++ b/.github/dev-tools/package.json @@ -3,7 +3,7 @@ "private": true, "devDependencies": { "@earendil-works/pi-coding-agent": "0.85.1", - "@openai/codex": "0.153.4", + "@openai/codex": "0.154.0", "@steipete/oracle": "0.20.0", "typescript": "7.0.2", "typescript-language-server": "6.0.0" diff --git a/.github/dev-tools/requirements.txt b/.github/dev-tools/requirements.txt index c0ef0bb..5cd7b74 100644 --- a/.github/dev-tools/requirements.txt +++ b/.github/dev-tools/requirements.txt @@ -1 +1 @@ -pyright==1.1.411 +pyright==1.1.414