Existence Invariants (#27) #85

	name: CI
	on:
	push:
	branches:
	- main
	tags:
	- 'v*'
	pull_request:

	jobs:
	lint:
	name: Lint
	runs-on: ubuntu-latest
	steps:
	- name: Set up Go
	uses: actions/setup-go@v2
	with:
	go-version: 1.19.x

	- name: Install Staticcheck
	run: go install honnef.co/go/tools/cmd/staticcheck@latest

	- name: Checkout Code
	uses: actions/checkout@v2

	- name: Lint Go Code
	run: staticcheck ./...

	test:
	name: Test
	runs-on: ubuntu-latest
	steps:
	- name: Set up Go
	uses: actions/setup-go@v2
	with:
	go-version: 1.19.x

	- name: Checkout Code
	uses: actions/checkout@v2

	- name: Install Dependencies
	run: go version

	- name: Run Unit Tests
	run: go test -v -coverprofile=coverage.txt -covermode=atomic --race ./...

	- name: Upload Coverage report to CodeCov
	uses: codecov/[email protected]
	with:
	# Make sure to add to GitHub secrets!
	token: ${{secrets.CODECOV_TOKEN}}
	file: ./coverage.txt

Provide feedback