Merge branch 'main' into dependabot/github_actions/actions-e6b38edb2c

c2d4257

Select commit

Loading

Failed to load commit list.

Uh oh!

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

Codacy Production

Codacy Static Code Analysis

codefactor.io

CodeFactor

Docs & Code Quality on: push 10

Build AsciiDoc

Validate Documentation

lint

docs

Deploy to GitHub Pages

Documentation Status

Release & Container on: push 5

Prepare Release

Build Rust - x86_64-unknown-linux-gnu

Build Rust - aarch64-unknown-linux-gnu

Build Rust - x86_64-apple-darwin

Build Rust - aarch64-apple-darwin

Build Rust - x86_64-pc-windows-msvc

Build Container Images

Create GitHub Release

Language Policy Blockers on: push

check

ts_check

Dependabot Auto-Merge on: pull_request

automerge

CI on: pull_request 4

Rust Check & Clippy

Rust Format

Detect Haskell tree

k9iser manifest + build

Rust Tests

Haskell Build & Test

HLint

Rust Coverage

CI Status

Docs & Code Quality on: pull_request 10

Build AsciiDoc

Validate Documentation

lint

docs

Deploy to GitHub Pages

Documentation Status

Dogfood Gate on: pull_request 1

Validate A2ML manifests

Validate K9 contracts

Empty-linter (invisible characters)

Groove manifest check

Dogfooding compliance summary

bridge-gate on: pull_request

bridge-gate

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

E2E — Elixir Scanner Pipeline

E2E — Rust CLI Scan

Aspect — Rule Module Coverage

Build Test Images

stress-test

criterion + baseline gate

Integration Tests

End-to-End Tests

Integration Coverage

Integration Status

Build Gossamer GUI on: pull_request 2

Validate Ephapax sources exist

Gossamer loader smoke harness

Build Ephapax toolchain (pinned)

Security on: pull_request 8

Rust Dependency Audit

Rust License & Ban Check

Secret Detection

Semgrep SAST

CodeQL Analysis (actions)

Generate Rust SBOM

Container Security Scan

Rust Dependency Audit

Rust License & Ban Check

Container Security (Trivy) (deploy/Containerfile)

Secret Detection (Gitleaks)

Secret Detection (TruffleHog)

CodeQL SAST (actions)

Semgrep SAST

License Compliance Check

Generate SBOM

Security Status

Security Audit Summary

CodeQL Security Analysis on: pull_request

analyze (javascript-typescript, none)

analyze (actions, none)

Verify Proofs (Idris / Lean / TLA+) on: pull_request

idris2 --check

lake build

TLC model-check

Rust CI on: pull_request

Check

Test

Format

Clippy

Cargo check + clippy + fmt

Cargo test

Language Policy Blockers on: pull_request

check

ts_check

Secret Scanner on: pull_request

scan / gitleaks

scan / rust-secrets

scan / shell-secrets

Hypatia Security Scan on: pull_request 1

hypatia / Hypatia Neurosymbolic Analysis

Governance on: pull_request 9

governance / Check Workflow Staleness

governance / Allowlist Preflight

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 / Trusted-base reduction policy

governance / Licence consistency

governance / Exemption ratchet

governance / Debt ratchet

governance / Validate Hypatia Baseline

Code scanning results

CodeQL

Hypatia

Trivy

Select a check to view from the sidebar