Say that the template paths remain proof targets even once the files go

db444da

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

coderabbitai

CodeRabbit

GitGuardian

GitGuardian Security Checks

Semgrep Code - hyperpolymath

semgrep-cloud-platform/scan

SonarQubeCloud

SonarCloud Code Analysis

🟡 Check: CodeQL security analysis on: pull_request 1

analyze (actions, none)

🟡 Check: RSR self-use (dogfooding) on: pull_request 1

Dogfood gate (consolidated)

⚙ Auto: Dependabot auto-merge on: pull_request

automerge

🔴 Gate: Code quality (fmt/lint/test) on: pull_request 2

code-quality

docs-present

🔴 Gate: Security policy present on: pull_request 1

security-policy-present

🔴 Gate: OpenSSF best-practices on: pull_request 1

openssf-compliance

🟡 Check: Estate rules on: pull_request 2

estate-rules

🔴 Gate: Guix-only package policy on: pull_request 1

guix-only-policy

CI / required on: pull_request 5

CI / required

Runtime Policy on: pull_request 2

Runtime Policy

🔴 Gate: Trope conformance on: pull_request 1

examples-lower-to-valid-ir

🔴 Gate: Static analysis on: pull_request 26

panic-attack assail

Hypatia neurosymbolic scan

Patch Bridge CVE triage

Deposit findings for gitbot-fleet

🔴 Gate: Governance metadata on: pull_request 1

🔴 Gate: Secret scan on: pull_request 1

🟡 Check: Hypatia baseline security scan on: pull_request 1

Code scanning results

CodeQL

Say that the template paths remain proof targets even once the files go

Uh oh!

Select a check to view from the sidebar