chore(deps): bump the actions group with 6 updates

9413fda

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: Workflow security lint on: push 11

lint-workflows

🔴 Gate: Formal proofs on: push 6

Lean sources: no sorry / admit / native_decide / user axiom

Agda Theorem B (--safe --without-K)

Lean grade-boundary: lake build + sorry-free environment

Lean grade-factorisation: lake build + sorry-free environment

🔴 Gate: Trope conformance on: pull_request 3

ir-wellformed

verified-core-and-conformance

rust-fast-core

🔴 Gate: Security policy present on: pull_request 1

security-policy-present

🔴 Gate: OpenSSF best-practices on: pull_request 1

openssf-compliance

Central Estate CI/CD Audit on: pull_request 19

estate-audit

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

Validate DEED manifests

Validate K9 contracts

Empty-linter (invisible characters)

Groove manifest check

Validate eclexiaiser manifest

Dogfooding compliance summary

🟡 Check: CodeQL security analysis on: pull_request 1

analyze (actions, none)

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

code-quality

docs-present

Runtime Policy on: pull_request 2

Runtime Policy

🔴 Gate: Formal proofs on: pull_request 6

Lean sources: no sorry / admit / native_decide / user axiom

Agda Theorem B (--safe --without-K)

Lean grade-boundary: lake build + sorry-free environment

Lean grade-factorisation: lake build + sorry-free environment

🟡 Check: Estate rules on: pull_request 1

estate-rules

🟡 Check: Workflow security lint on: pull_request 11

lint-workflows

🟡 Check: Patch Bridge CVE triage on: pull_request 1

Patch Bridge CVE triage

⚙ Auto: Dependabot auto-merge on: pull_request 1

automerge

🟡 Check: Governance metadata on: pull_request 32

governance / Check Workflow Staleness

governance / UUID v7 conformance

governance / UUID v8 conformance

governance / Allowlist Preflight

governance / Live Actions policy (credentialed advisory)

governance / Language / package anti-pattern policy

governance / Guix packaging policy (Nix retired)

governance / Security policy checks

governance / Code quality + docs

governance / Well-Known (RFC 9116 + RSR)

governance / Workflow security linter

governance / Actions lockfile verify

governance / Trusted-base reduction policy

governance / Licence consistency

governance / Exemption ratchet

governance / Debt ratchet

governance / JS runtimes — environment provisions Bun first

governance / JS runtimes — bun

governance / JS runtimes — deno

governance / JS runtimes — pnpm

governance / Validate Hypatia Baseline

Fork governance on: pull_request 9

DEED syntax / lint

K9-DEED conformance / validate

Fleet report-backs / Fleet report-backs

Hypatia verdict grid / Hypatia Neurosymbolic Analysis

Save the fork governance results

🔴 Gate: Secret scan on: pull_request 3

scan / gitleaks

scan / rust-secrets

scan / shell-secrets

Code scanning results

CodeQL

Hypatia

chore(deps): bump the actions group with 6 updates

Uh oh!

Select a check to view from the sidebar