Switched to dev-files option on CI [skip ci]

ankane · ankane · commit 3aceeb48eea8 · 2023-03-02T18:52:47.000-08:00
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -8,8 +8,9 @@ jobs:
       - uses: ankane/setup-postgres@v1
         with:
           database: pgvector_cpp_test
+          dev-files: true
       - run: |
-          sudo apt-get update && sudo apt-get install postgresql-server-dev-14
+          cd /tmp
           git clone --branch v0.4.0 https://github.com/pgvector/pgvector.git
           cd pgvector
           make
