update: change flush_db_after to always be true #6

	name: Build and Push Multiple Docker Images (Version Matrix)

	on:
	push:
	tags:
	- '*' # Run when a git tag is pushed

	jobs:
	build-and-push:
	runs-on: ubuntu-latest

	strategy:
	matrix:
	version: [v4.18.0, v4.20.0, v4.24.0] # 🔧 Lean versions

	permissions:
	contents: read
	packages: write

	steps:
	- name: Checkout repository
	uses: actions/checkout@v4

	- name: Set up QEMU
	uses: docker/setup-qemu-action@v3

	- name: Set up Docker Buildx
	uses: docker/setup-buildx-action@v3

	- name: Log in to GitHub Container Registry
	uses: docker/login-action@v3
	with:
	registry: ghcr.io
	username: ${{ github.actor }}
	password: ${{ secrets.GITHUB_TOKEN }}

	- name: Extract BLV version (from Git tag)
	id: vars
	run: echo "BLV_VERSION=${GITHUB_REF##*/}" >> $GITHUB_ENV

	- name: Free up disk space
	run: \|
	sudo rm -rf /usr/share/dotnet /opt/ghc /usr/local/lib/android /usr/local/share/boost
	docker system prune -af
	df -h

	- name: Build and push image for Lean ${{ matrix.version }}
	uses: docker/build-push-action@v6
	with:
	context: .
	push: true
	platforms: linux/amd64
	build-args: \|
	LEAN_VERSION=${{ matrix.version }}
	cache-from: type=gha
	cache-to: type=gha,mode=max
	tags: \|
	ghcr.io/offendo/blv:${{ env.BLV_VERSION }}-${{ matrix.version }}

Provide feedback