Repository navigation

proof(lean4): mechanize Sandbox Isolation (safety_proofs.md Theorem 1) #126

	# SPDX-License-Identifier: PMPL-1.0
Check failure on line 1 in .github/workflows/secret-scanner.yml View workflow run for this annotation GitHub Actions / .github/workflows/secret-scanner.yml Invalid workflow file `(Line: 15, Col: 5): Unexpected value 'timeout-minutes'`
	name: Secret Scanner
	on:
	pull_request:
	push:
	branches: [main]
	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: true
	permissions:
	contents: read
	jobs:
	scan:
	uses: hyperpolymath/standards/.github/workflows/secret-scanner-reusable.yml@3e4bd4c93911750727e2e4c66dff859e00079da0
	timeout-minutes: 10
	secrets: inherit
	trufflehog:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332
	with:
	fetch-depth: 0
	- name: TruffleHog Secret Scan
	uses: trufflesecurity/trufflehog@main
	with:
	extra_args: --only-verified --fail