Merge pull request #675 from marco6/fix-prepared-cleanup #204

	name: Coverity
	on:
	push:
	branches:
	- master

	jobs:
	test:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout code
	uses: actions/checkout@v4

	- name: Download Coverity Build Tool
	run: \|
	wget -q https://scan.coverity.com/download/cxx/linux64 --post-data "token=$TOKEN&project=canonical/dqlite" -O cov-analysis-linux64.tar.gz
	mkdir cov-analysis-linux64
	tar xzf cov-analysis-linux64.tar.gz --strip 1 -C cov-analysis-linux64
	env:
	TOKEN: ${{ secrets.COVERITY_SCAN_TOKEN }}

	- name: Install dependencies
	run: \|
	sudo apt-get update -qq
	sudo apt-get install -qq gcc libsqlite3-dev liblz4-dev libuv1-dev

	- name: Run coverity
	run: \|
	export PATH="$(pwd)/cov-analysis-linux64/bin:${PATH}"

	# Configure
	autoreconf -i
	mkdir build
	cd build
	../configure --enable-build-raft

	# Build
	cov-build --dir cov-int make -j4
	tar czvf dqlite.tgz cov-int

	# Submit the results
	curl \
	--form project=canonical/dqlite \
	--form token=${TOKEN} \
	--form [email protected] \
	--form [email protected] \
	--form version=master \
	--form description="${GITHUB_SHA}" \
	https://scan.coverity.com/builds?project=canonical/dqlite
	env:
	TOKEN: ${{ secrets.COVERITY_SCAN_TOKEN }}

Provide feedback