vfs: Weaken assertion to accomodate SQLITE_DIRECT_OVERFLOW_READ (#22) #30

	name: Coverity
	on:
	push:
	branches:
	- main

	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=cowsql/cowsql" -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 add-apt-repository -y ppa:cowsql/master
	sudo apt-get update -qq
	sudo apt-get install -qq gcc libsqlite3-dev liblz4-dev libuv1-dev libraft-dev

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

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

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

	# Submit the results
	curl \
	--form project=cowsql/cowsql \
	--form token=${TOKEN} \
	--form email=free@ekanayaka.io \
	--form file=@cowsql.tgz \
	--form version=master \
	--form description="${GITHUB_SHA}" \
	https://scan.coverity.com/builds?project=cowsql/cowsql
	env:
	TOKEN: ${{ secrets.COVERITY_SCAN_TOKEN }}

Provide feedback