Repository navigation

First-run start point: identity, echidna.prove.result/1 consumer, template shape #265

	# This workflow is managed by gh actions-lock.
	# SPDX-License-Identifier: MPL-2.0
	# 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@8f2ee50841e216cd8c192eeb68953118190f105c
	with:
	enable_audit: true
	# Match the existing Optimus code-coverage rule. An absent report or
	# a default zero floor must not imply that the 95% policy is met.
	enable_coverage: true
	coverage_floor: "95"