Repository navigation

proofs: honest prover gate — absent prover = fail, z3 expect-checked, Print Assumptions gated, Agda 4/4 --safe (4b–4d) #401

	# This workflow is managed by gh actions-lock.
	# SPDX-License-Identifier: MPL-2.0
	# This workflow is managed by gh actions-lock.
	# This workflow is managed by gh actions-lock.
	# Rust CI — thin wrapper calling the shared estate reusable in
	# hyperpolymath/standards. Configure once, propagate everywhere.
	# See: docs/CI-REUSABLE-WORKFLOWS.adoc in standards.
	name: Rust CI

	on:
	push:
	branches: [main, master]
	pull_request:

	permissions:
	actions: read
	contents: read

	jobs:
	rust-ci:
	uses: hyperpolymath/standards/.github/workflows/rust-ci-reusable.yml@bd0df9ead7faf0cdfe0e13e7966d91e28d0101d4
	with:
	enable_audit: true
	enable_coverage: true