Feat equivalent proofs tmp1 #14658

	name: Code-coverage

	on:
	push:
	branches:
	- master
	pull_request:
	branches: [ master, feat/, rc/ ]

	workflow_dispatch:

	jobs:
	build:
	strategy:
	matrix:
	runs-on: [ubuntu-latest]
	runs-on: ${{ matrix.runs-on }}
	name: Build
	steps:
	- name: Set up Go 1.20.7
	uses: actions/setup-go@v3
	with:
	go-version: 1.20.7
	id: go

	- name: Check out code into the Go module directory
	uses: actions/checkout@v3

	- name: Get dependencies
	run: \|
	go get -v -t -d ./...
	if [ -f Gopkg.toml ]; then
	curl https://raw.githubusercontent.com/golang/dep/master/install.sh \| sh
	dep ensure
	fi
	- name: Run unit tests
	run: \|
	make test-coverage

	- name: Upload coverage
	run: bash <(curl -s https://codecov.io/bash) -f coverage.txt -y codecov.yml

Provide feedback