d-flex flex-column width-full">

Merge branch 'main' into feat/vendored-ir-0.2

b632a66

Select commit

Loading

Failed to load commit list.

Uh oh!

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

SonarQubeCloud

SonarCloud Code Analysis

🟡 Check: Workflow security lint on: push

lint-workflows

Push email notification on: push 1

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

Dogfood gate (consolidated)

🔴 Gate: Guix-only package policy on: pull_request

check

🔴 Gate: Static analysis on: pull_request 22

panic-attack assail

Hypatia neurosymbolic scan

Patch Bridge CVE triage

Deposit findings for gitbot-fleet

Runtime Policy on: pull_request 1

Runtime Policy

🟡 Check: Estate rules on: pull_request

estate-rules

🟡 Check: CodeQL security analysis on: pull_request 1

analyze (actions, none)

🔴 Gate: Security policy present on: pull_request

check

🟡 Check: OpenSSF best-practices on: pull_request

openssf-compliance

🔴 Gate: Trope conformance on: pull_request

examples-lower-to-valid-ir

⚙ Auto: Dependabot auto-merge on: pull_request

automerge

🔴 Gate: Secret scan on: pull_request

scan / gitleaks

scan / rust-secrets

scan / shell-secrets

🟡 Check: Hypatia baseline security scan on: pull_request

scan / Hypatia Neurosymbolic Analysis

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

CI / required on: pull_request 1

🟡 Check: Governance metadata on: pull_request 1

🟡 Check: Rust CI (build/test) on: pull_request 1

Code scanning results

CodeQL

Hypatia

Merge branch 'main' into feat/vendored-ir-0.2

Uh oh!

Select a check to view from the sidebar