Merge branch 'main' into fix/abi-gate-chez-support

4814dae

Select commit

Loading

Failed to load commit list.

Uh oh!

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

GitGuardian

GitGuardian Security Checks

codefactor.io

CodeFactor

Language Policy Blockers on: push 2

check

ts_check

Escript Soundness on: push 2

Startup probe

Escript packaging soundness

Docs & Code Quality on: push 16

Build AsciiDoc

Validate Documentation

lint

docs

Deploy to GitHub Pages

Documentation Status

Dependabot

.github/dependabot.yml

Dogfood Gate on: pull_request 6

Validate DEED manifests

Validate K9 contracts

Empty-linter (invisible characters)

Groove manifest check

Dogfooding compliance summary

ABI codegen drift on: pull_request 1

abi-codegen-drift

Language Policy Blockers on: pull_request 2

check

ts_check

Rust CI on: pull_request 6

Check

Test

Format

Clippy

Cargo check + clippy + fmt

Cargo test

Escript Soundness on: pull_request 2

Startup probe

Escript packaging soundness

Dependabot Auto-Merge on: pull_request

automerge

Docs & Code Quality on: pull_request 16

Build AsciiDoc

Validate Documentation

lint

docs

Deploy to GitHub Pages

Documentation Status

Zig on: pull_request 1

zig build test (FFI + wire contract)

bridge-gate on: pull_request

bridge-gate

Secret Scanner on: pull_request 3

scan / gitleaks

scan / rust-secrets

scan / shell-secrets

Governance on: pull_request 23

governance / Check Workflow Staleness

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 / Validate Hypatia Baseline

Hypatia Security Scan on: pull_request 1

hypatia / Hypatia Neurosymbolic Analysis

CI on: pull_request 1

Security on: pull_request 1

CodeQL Security Analysis on: pull_request 1

Tests (E2E / Integration / Stress / Bench) on: pull_request 1

Code scanning results

Hypatia

Merge branch 'main' into fix/abi-gate-chez-support

Uh oh!

Select a check to view from the sidebar