add check in modproof #319

	name: Go Test
	on:
	push:
	branches:
	- master
	- release/*
	pull_request:
	branches:
	- master

	jobs:
	build:
	name: Test
	runs-on: macOS-latest
	steps:

	- name: Set up Go 1.20
	uses: actions/setup-go@v3
	with:
	go-version: 1.20.3
	id: go

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

	- name: Clean dependencies
	run: go clean --modcache

	- name: Get dependencies
	run: go mod tidy

	- name: Run Tests
	run: make test_unit_race

Provide feedback