manually upload index file

This commit is contained in:
Alek Westover
2023-07-12 13:29:14 -04:00
parent 550d0ef946
commit f8c69804f7

View File

@@ -965,7 +965,8 @@ jobs:
# rm -rf ./extensions/lib/neon*
docker cp ${{ steps.create-container.outputs.EID }}:/ ./
sh ./scripts/combine_control_files.sh
# sh ./scripts/combine_control_files.sh
echo '{ "enabled_extensions": { "123454321": [ "anon" ], "public": [ "embedding" ] }, "control_data": { "embedding": "comment = 'hnsw index' \ndefault_version = '0.1.0' \nmodule_pathname = '$libdir/embedding' \nrelocatable = true \ntrusted = true", "anon": "# PostgreSQL Anonymizer (anon) extension \ncomment = 'Data anonymization tools' \ndefault_version = '1.1.0' \ndirectory='extension/anon' \nrelocatable = false \nrequires = 'pgcrypto' \nsuperuser = false \nmodule_pathname = '$libdir/anon' \ntrusted = true \n" } }' > ext_index.json
- name: Upload postgres-extensions to S3
run: |