fix: PG cell-edit serialization + recent-connections startup race #6
@@ -189,7 +189,13 @@ jobs:
|
||||
OUT="${GITHUB_WORKSPACE}/desktop/src-tauri/resources/pg_tools"
|
||||
mkdir -p "$OUT"
|
||||
URL="https://get.enterprisedb.com/postgresql/postgresql-${PG_VER}-1-windows-x64-binaries.zip"
|
||||
CACHE="/c/ci/cache/postgresql-${PG_VER}-1-windows-x64-binaries.zip"
|
||||
if [ -f "$CACHE" ]; then
|
||||
echo "Using cached PG zip: $CACHE"
|
||||
cp "$CACHE" /tmp/pg.zip
|
||||
else
|
||||
curl -fsSL "$URL" -o /tmp/pg.zip
|
||||
fi
|
||||
EXPECTED="3508d8f085bc3980f38211a82e3f31e5fcae9952105d3dc2f8be67b64a822baa"
|
||||
echo "$EXPECTED /tmp/pg.zip" | sha256sum -c -
|
||||
sha256sum /tmp/pg.zip
|
||||
@@ -205,7 +211,13 @@ jobs:
|
||||
OUT="${GITHUB_WORKSPACE}/desktop/src-tauri/resources/mysql_tools"
|
||||
mkdir -p "$OUT"
|
||||
URL="https://archive.mariadb.org/mariadb-${MARIADB_VER}/winx64-packages/mariadb-${MARIADB_VER}-winx64.zip"
|
||||
CACHE="/c/ci/cache/mariadb-${MARIADB_VER}-winx64.zip"
|
||||
if [ -f "$CACHE" ]; then
|
||||
echo "Using cached MariaDB zip: $CACHE"
|
||||
cp "$CACHE" /tmp/mariadb.zip
|
||||
else
|
||||
curl -fsSL "$URL" -o /tmp/mariadb.zip
|
||||
fi
|
||||
sha256sum /tmp/mariadb.zip
|
||||
unzip -o /tmp/mariadb.zip -d /tmp/mariadb
|
||||
WINROOT="/tmp/mariadb/mariadb-${MARIADB_VER}-winx64"
|
||||
|
||||
Reference in New Issue
Block a user