add proof Equal methods #696

	name: Lint & test

	on:
	push:
	branches: [master]
	pull_request:
	branches: [master]
	workflow_dispatch:

	jobs:
	build:
	strategy:
	matrix:
	os: [ubuntu-latest, macos-latest, windows-latest]
	runs-on: ${{ matrix.os }}
	steps:
	- uses: actions/checkout@v4
	- name: Set up Go
	uses: actions/setup-go@v5
	with:
	go-version: 1.22
	- name: Build
	run: go build -v ./...

	golangci:
	name: lint
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- uses: actions/setup-go@v5
	with:
	go-version: 1.22
	- name: golangci-lint
	uses: golangci/golangci-lint-action@v6
	with:
	version: v1.60
	- name: Vet
	run: go vet

	test:
	strategy:
	matrix:
	os: [ubuntu-latest, macos-latest, windows-latest]
	runs-on: ${{ matrix.os }}
	steps:
	- uses: actions/checkout@v4
	- name: Set up Go
	uses: actions/setup-go@v5
	with:
	go-version: 1.22
	- name: Test
	run: go test -v -race ./... -timeout=15m

Provide feedback