d-flex flex-column width-full">

chore(deps): bump actions/setup-java from 5.4.0 to 5.5.0

4de94a3

Select commit

Loading

Failed to load commit list.

Uh oh!

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

.github/workflows/scorecard.yml on: push 1

Language Policy Blockers on: push

check

ts_check

Release & Container on: push 11

Prepare Release

Build and Push (cli, deploy/Containerfile)

Build and Push (adapter, deploy/Containerfile.adapter)

Build and Push (engine, deploy/Containerfile.engine)

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 Haskell Registry

Build Container Images

Create GitHub Release

Publish to Hackage

Docs & Code Quality on: push 10

Build AsciiDoc

Validate Documentation

lint

docs

Deploy to GitHub Pages

Documentation Status

Push email notification on: push 1

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

idris2 --check

lake build

TLC model-check

Language Policy Blockers on: pull_request

check

ts_check

Dogfood Gate on: pull_request 1

Validate A2ML manifests

Validate K9 contracts

Empty-linter (invisible characters)

Groove manifest check

Dogfooding compliance summary

Security on: pull_request 12

Rust Dependency Audit

Rust License & Ban Check

Haskell Dependency Audit

Secret Detection

Semgrep SAST

CodeQL Analysis (actions)

Generate Rust SBOM

Generate Haskell SBOM

Container Security Scan

Rust Dependency Audit

Rust License & Ban Check

Haskell Dependency Audit

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

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

E2E — Elixir Scanner Pipeline

E2E — Rust CLI Scan

Aspect — Rule Module Coverage

Build Test Images

stress-test

criterion + baseline gate

Integration Tests

Haskell Integration Tests

End-to-End Tests

Integration Coverage

Integration Status

Dependabot Auto-Merge on: pull_request

automerge

CodeQL Security Analysis on: pull_request 2

analyze (javascript-typescript, none)

analyze (actions, none)

CI on: pull_request 5

Rust Check & Clippy

Rust Format

Haskell Build & Test

HLint

k9iser manifest + build

Rust Tests

Rust Coverage

CI Status

Rust CI on: pull_request 2

Check

Test

Format

Clippy

Cargo check + clippy + fmt

Cargo test

bridge-gate on: pull_request

bridge-gate

Docs & Code Quality on: pull_request 10

Build AsciiDoc

Validate Documentation

lint

docs

Deploy to GitHub Pages

Documentation Status

Hypatia Security Scan on: pull_request

hypatia / Hypatia Neurosymbolic Analysis

Governance on: pull_request 7

governance / Check Workflow Staleness

governance / Language / package anti-pattern policy

governance / Guix primary / Nix fallback policy

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

Secret Scanner on: pull_request

scan / gitleaks

scan / rust-secrets

scan / shell-secrets

Code scanning results

CodeQL

semgrep

chore(deps): bump actions/setup-java from 5.4.0 to 5.5.0

Uh oh!

Select a check to view from the sidebar