Dev/robin/8241 accumulator prove and verify #77

	name: Quality Control

	on: [
	pull_request,
	workflow_dispatch
	]

	jobs:
	build:
	name: Quality Control
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	- uses: actions/setup-go@v5
	with:
	go-version: '1.22'
	cache: false

	- name: Install Go quality tools
	run: \|
	go install golang.org/x/tools/cmd/[email protected]
	go install github.com/axw/gocov/[email protected]
	go install github.com/jstemmer/go-junit-report/[email protected]
	curl -sSfL https://raw.githubusercontent.com/golangci/golangci-lint/master/install.sh \| sh -s -- -b $(go env GOPATH)/bin v1.56.2

	- name: Install Task
	uses: arduino/setup-task@v1
	with:
	version: 3.x
	repo-token: ${{ secrets.GITHUB_TOKEN }}

	- name: Code quality checks
	run: \|
	# Note: it is by design that we don't use the builder
	task format
	task lint

	- name: Unit tests
	run: \|
	# Note: it is by design that we don't use the builder
	task test:unit

	- name: Integration tests
	run: \|
	task test:integration

	- name: Azurite logs
	run: \|
	task azurite:logs

	- name: Stop azurite
	if: always()
	run: \|
	task azurite:stop

Provide feedback