Close the connection and delete adhoc server if all it's Query tool a… #143

	name: Check tarball build

	on:
	push:
	branches: [ "master" ]
	pull_request:
	branches: [ "master" ]

	workflow_dispatch:

	concurrency:
	group: '${{ github.workflow }} @ ${{ github.event.pull_request.head.label \|\| github.head_ref \|\| github.ref }}'
	cancel-in-progress: true

	jobs:
	build-tarball:
	runs-on: ubuntu-22.04

	steps:
	- uses: actions/checkout@v4

	- name: Install platform dependencies
	run: \|
	sudo apt update
	sudo apt install -y libpq-dev libffi-dev libssl-dev libkrb5-dev zlib1g-dev

	- name: Install Python dependencies
	run: make install-python

	- name: Check the tarball build
	run: \|
	. venv/bin/activate
	make src

	- name: Archive source tarball
	uses: actions/upload-artifact@v4
	with:
	name: pgadmin4-tarball-build-output
	path: dist/*

Provide feedback