ci: set typos action to v1 tag

.claude/settings.local.json

@@ -0,0 +1,8 @@
+{
+  "permissions": {
+    "allow": [
+      "Bash(gh run view:*)",
+      "Bash(gh pr view:*)"
+    ]
+  }
+}

.github/workflows/ci.yaml

@@ -9,6 +9,9 @@ on:
 permissions:
   contents: read
 
+env:
+  PGRX_VERSION: "0.17.0"
+
 jobs:
   test:
     runs-on: ubuntu-latest
@@ -33,21 +36,29 @@ jobs:
             libreadline-dev \
             clang
 
+      - name: Cache cargo-pgrx binary
+        id: cache-cargo-pgrx
+        uses: actions/cache@v5
+        with:
+          path: ~/.cargo/bin/cargo-pgrx
+          key: cargo-pgrx-${{ runner.os }}-${{ env.PGRX_VERSION }}
+
       - name: Install cargo-pgrx
-        run: cargo install --locked cargo-pgrx
+        if: steps.cache-cargo-pgrx.outputs.cache-hit != 'true'
+        run: cargo install --locked cargo-pgrx --version ${{ env.PGRX_VERSION }}
 
       - name: Cache cargo pgrx home
         uses: actions/cache@v5
         with:
           path: ~/.pgrx
-          key: pgrx-${{ runner.os }}-pg18-${{ hashFiles('Cargo.lock') }}
+          key: pgrx-${{ runner.os }}-${{ env.PGRX_VERSION }}-pg18
 
       - name: Initialize cargo-pgrx (Postgres 18)
         run: |
-          if [ ! -x "$HOME/.pgrx/pg18/pgrx-install/bin/pg_config" ]; then
-            cargo pgrx init --pg18 download
+          if compgen -G "$HOME/.pgrx/*/pgrx-install/bin/pg_config" > /dev/null; then
+            echo "Postgres already initialized in $HOME/.pgrx"
           else
-            echo "Postgres 18 already initialized in $HOME/.pgrx"
+            cargo pgrx init --pg18 download
           fi
 
       - name: Cache cargo build
@@ -66,4 +77,4 @@ jobs:
       - uses: actions/checkout@v6
 
       - name: Check for spelling mistakes
-        uses: crate-ci/typos@v1.42.1
+        uses: crate-ci/typos@v1

AGENTS.md

@@ -32,7 +32,6 @@ cargo pgrx test pg18
   - `base62_decode()`: Converts a Base62 encoded string to a UUID
 
 - **`src/error.rs`**: Custom error types using `thiserror`
-  - `InvalidInput`: UUID length validation failure
   - `EncodeError`: Base62 encoding failure
   - `DecodeError`: Base62 decoding failure
 

CLAUDE.md

@@ -0,0 +1 @@
+AGENTS.md