fix: AGENTIC licence line + a2ml-validate-action repin (standards#646…

b331190

Select commit

Loading

Failed to load commit list.

Uh oh!

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

Gitar Bot

Gitar

codefactor.io

CodeFactor

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

CodeQL on: dynamic

Analyze (actions)

Dogfood Gate on: pull_request 6

Validate A2ML manifests

Validate K9 contracts

Empty-linter (invisible characters)

Groove manifest check

Dogfooding compliance summary

Dependabot Auto-Merge on: pull_request

automerge

Documentation on: pull_request 1

Build docs (Documenter, with doctests)

Julia Test Gate on: pull_request 1

Julia 1.10 (crypto-enabled) - ubuntu-latest

Julia 1 (crypto-enabled) - ubuntu-latest

Julia nightly (crypto-enabled) - ubuntu-latest

Static Analysis Gate on: pull_request 4

Detect relevant changes

panic-attack assail

Patch Bridge CVE triage (crypto/)

Estate Rules on: pull_request

estate-rules

CI on: pull_request 7

Julia 1.10 - ubuntu-latest

Julia 1.10 - macos-latest

Julia 1.10 - windows-latest

Julia 1.11 - ubuntu-latest

Julia 1.11 - macos-latest

Julia 1.11 - windows-latest

Julia nightly - ubuntu

Zig Backend

CPU vs Zig parity + accelerated smoke

Interop smoke (PyTorch import + ONNX export)

Roadmap could-baselines (packaging + optimization + telemetry)

GPU fallback tests - ubuntu-latest

GPU fallback tests - macos-latest

Coprocessor strategy, resilience, and TPU/NPU/DSP/MATH strict tests

GPU hardware smoke (CUDA)

GPU hardware smoke (ROCm)

GPU hardware smoke (Metal)

Runtime smoke (CPU)

Certificate integrity checks

Proof assistant bundle checks

Idris2 ABI typecheck

SMT proofs (Z3)

Documentation sanity

Security Audit

Governance on: pull_request 6

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

Hypatia Security Scan on: pull_request 1

scan / Hypatia Neurosymbolic Analysis

Secret Scanner on: pull_request

scan / gitleaks

scan / rust-secrets

scan / shell-secrets

Code scanning results

CodeQL

Hypatia

fix: AGENTIC licence line + a2ml-validate-action repin (standards#646…

Uh oh!

Select a check to view from the sidebar