Fix 2 bugs, remove 7 dead code blocks, add formal verification #8

	name: ReqProof Audit
	on:
	push:
	branches: [main]
	pull_request:

	jobs:
	audit:
	runs-on: ubuntu-latest
	# ReqProof is currently in private beta. This workflow will activate
	# once proof is available via public releases or the Homebrew tap.
	# Until then, the job succeeds without running the audit.
	if: false
	steps:
	- uses: actions/checkout@v4
	with:
	fetch-depth: 0

	- name: Set up Go
	uses: actions/setup-go@v5
	with:
	go-version: '1.13'

	- name: Cache ReqProof solvers
	uses: actions/cache@v4
	with:
	path: ~/.proof/solvers
	key: proof-solvers-${{ runner.os }}

	- uses: probelabs/proof-action@v1
	with:
	fail-level: warn
	format: markdown

Navigation Menu