build(deps): Bump dawidd6/action-send-mail in the actions group

aeb875d

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

CodeQL Security Analysis on: pull_request

analyze (javascript-typescript, none)

analyze (actions, none)

Hypatia Security Scan on: pull_request 2

Hypatia Neurosymbolic Analysis

Cartridge Schema on: pull_request 1

validate

Foundry Gate on: pull_request

Detect relevant changes

Provision + harness (CapBounded) tests

Build on: pull_request

SonarQube

Proofs Gate on: pull_request

Detect relevant changes

Trusted-base audit (zero axioms)

Idris2 type-check (all cartridge ABIs + Foundry)

Zig Cartridge Tests on: pull_request

Detect relevant changes

Shim drift check

Full FFI + adapter sweep (all cartridges)

Build and test Zig cartridge FFI + adapter

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

Secret Scanner on: pull_request 2

scan / gitleaks

scan / rust-secrets

scan / shell-secrets

Code scanning results

CodeQL

Hypatia

build(deps): Bump dawidd6/action-send-mail in the actions group

Uh oh!

Select a check to view from the sidebar