build(deps): Bump github/codeql-action in the actions group

954fa45

Select commit

Loading

Failed to load commit list.

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

GitGuardian

GitGuardian Security Checks

codefactor.io

CodeFactor

Semgrep Code - hyperpolymath

semgrep-cloud-platform/scan

QD-12 Read-only API gate on: pull_request 1

QD-12 — assert no mutating ops in server/serve.jl

KRL Verification on: pull_request 3

KRL fragment and evaluator tests (Julia)

Agda proofs (--safe)

TLA+ model check (TLC)

Julia verification image on: pull_request 1

Build and test Julia verification image

Secret Scanner on: pull_request 3

scan / gitleaks

scan / rust-secrets

scan / shell-secrets

Governance on: pull_request 24

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 4

hypatia / Hypatia Neurosymbolic Analysis

CodeQL Security Analysis on: pull_request 1