Repository navigation

fix(lean): #125 — law axioms carry Coq's occupancy preconditions; axiom audit + CI job #347

	# 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.
	name: Secret Scanner

	on:
	pull_request:
	push:
	branches: [main]

	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: true

	permissions:
	actions: read
	contents: read

	jobs:
	scan:
	permissions:
	contents: read
	pull-requests: write
	actions: read
	uses: hyperpolymath/standards/.github/workflows/secret-scanner-reusable.yml@bd0df9ead7faf0cdfe0e13e7966d91e28d0101d4
	secrets: inherit