release #31

	name: release

	on:
	push:
	tags:
	- 'v..*'

	jobs:
	build:
	name: Docker images for ghcr.io
	runs-on: ubuntu-latest
	env:
	ACTIONS_ALLOW_UNSECURE_COMMANDS: true
	DOCKER_REGISTRY: ghcr.io
	DOCKER_IMAGE_BASE: ${{ github.repository }}
	steps:
	- name: Check out the repo
	uses: actions/checkout@v3

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

	- name: Log in to the registry
	uses: docker/login-action@v2
	with:
	registry: ${{ env.DOCKER_REGISTRY }}
	username: ${{ github.actor }}
	password: ${{ secrets.GITHUB_TOKEN }}

	# Prover and Verifier and deb
	- name: Set output
	id: vars
	run: echo "tag=${GITHUB_REF#refs/*/}" >> $GITHUB_OUTPUT

	- name: Extract files and build DEB package
	run: \|
	chmod +x ./build_deb.sh # Ensure your script is executable
	./build_deb.sh ${{ steps.vars.outputs.tag }}

	- name: Verify file existence#2
	run: ls -la /tmp/stone-prover

	- name: Upload files to a GitHub release
	id: create_release
	uses: softprops/action-gh-release@v2
	with:
	files: /tmp/stone-prover/cpu_air*

	- name: Upload dep to a GitHub release
	id: create_release_deb
	uses: softprops/action-gh-release@v2
	with:
	files: /tmp/stone-prover/stone-prover.deb

Provide feedback