Merge branch 'main' into rhodibot/rsr-compliance-20260907

d4e01f7

Select commit

Loading

Failed to load commit list.

Uh oh!

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

GitGuardian

GitGuardian Security Checks

.github/workflows/cargo-audit.yml on: push 1

REUSE compliance on: push 1

reuse-lint

Dependabot

.github/dependabot.yml

REUSE compliance on: pull_request 1

reuse-lint

Dependabot Auto-Merge on: pull_request

automerge

Dogfood Gate on: pull_request 16

Validate A2ML manifests

Validate K9 contracts

Empty-linter (invisible characters)

Groove manifest check

Validate eclexiaiser manifest

Dogfooding compliance summary

Backend Matrix on: pull_request

Derive matrix from echidna provers.a2ml

Smoke (abc)

Smoke (abella)

Smoke (acl2)

Smoke (acl2s)

Smoke (affine_type_checker)

Smoke (agda)

Smoke (alloy)

Smoke (alt_ergo)

Smoke (arend)

Smoke (athena)

Smoke (boogie)

Smoke (bunched_type_checker)

Smoke (ca_di_ca_l)

Smoke (cameleer)

Smoke (capability_type_checker)

Smoke (cbmc)

Smoke (choreographic_type_checker)

Smoke (chuffed)

Smoke (coeffect_type_checker)

Smoke (coq)

Smoke (cubical_agda)

Smoke (cubical_type_checker)

Smoke (cvc5)

Smoke (dafny)

Smoke (dedukti)

Smoke (dependent_type_checker)

Smoke (d_real)

Smoke (dyadic_type_checker)

Smoke (echo_type_checker)

Smoke (effect_row_type_checker)

Smoke (epistemic_type_checker)

Smoke (e_prover)

Smoke (existential_type_checker)

Smoke (frama_c)

Smoke (f_star)

Smoke (glpk)

Smoke (gradual_type_checker)

Smoke (higher_kinded_type_checker)

Smoke (hoare_type_checker)

Smoke (hol4)

Smoke (hol_light)

Smoke (homotopy_type_checker)

Smoke (idris2)

Smoke (imandra)

Smoke (immutable_type_checker)

Smoke (impure_type_checker)

Smoke (indexed_type_checker)

Smoke (intersection_type_checker)

Smoke (isabelle)

Smoke (isabelle_zf)

Smoke (katagoria_verifier)

Smoke (ke_y)

Smoke (kissat)

Smoke (lambda_prolog)

Smoke (lean)

Smoke (lean3)

Smoke (linear_type_checker)

Smoke (matita)

Smoke (mercury)

Smoke (metamath)

Smoke (mini_sat)

Smoke (mini_zinc)

Smoke (minlog)

Smoke (mizar)

Smoke (miz_ar)

Smoke (modal_type_checker)

Smoke (naproche)

Smoke (nitpick)

Smoke (nominal_type_checker)

Smoke (nunchaku)

Smoke (nuprl)

Smoke (nu_smv)

Smoke (open_smt)

Smoke (ordered_type_checker)

Smoke (ordinary_type_checker)

Smoke (or_tools)

Smoke (phantom_type_checker)

Smoke (polymorphic_type_checker)

Smoke (prism)

Smoke (probabilistic_type_checker)

Smoke (provability_type_checker)

Smoke (prover9)

Smoke (pro_verif)

Smoke (pvs)

Smoke (qtt_type_checker)

Smoke (refinement_type_checker)

Smoke (relevant_type_checker)

Smoke (rocq)

Smoke (row_type_checker)

Smoke (scip)

Smoke (sea_horn)

Smoke (session_type_checker)

Smoke (smt_rat)

Smoke (spass)

Smoke (spin)

Smoke (subtyping_type_checker)

Smoke (tamarin)

Smoke (temporal_type_checker)

Smoke (tlaps)

Smoke (tlc)

Smoke (tropical_type_checker)

Smoke (twelf)

Smoke (typed_wasm)

Smoke (type_ll)

Smoke (union_type_checker)

Smoke (uniqueness_type_checker)

Smoke (uppaal)

Smoke (uppaal_stratego)

Smoke (vampire)

Smoke (viper)

Smoke (why3)

Smoke (z3)

Smoke (zipperposition)

Static Analysis Gate on: pull_request 4

panic-attack assail

Hypatia neurosymbolic scan

Deposit findings for gitbot-fleet

CodeQL Security Analysis on: pull_request

analyze (actions, none)

Parse Gate on: pull_request

vcltotal-parse — panic-free / clippy / tests

Proof Corpus on: pull_request

idris2 0.8.0 --build vclut-core

Satellite Crates Gate on: pull_request

attest — clippy / tests

recompute-wasm — clippy / tests

E2E, Property and Aspect Tests on: pull_request

E2E structural validation

Root workspace tests

Aspect tests

OpenSSF Compliance on: pull_request

openssf-compliance

Governance on: pull_request 5

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

Hypatia Security Scan on: pull_request 2

hypatia / Hypatia Neurosymbolic Analysis

Rust CI on: pull_request 1

rust-ci / Detect Cargo.toml

rust-ci / Cargo check + clippy + fmt

rust-ci / Cargo audit (security)

rust-ci / Coverage (tarpaulin + codecov)

rust-ci / Cargo test

Code scanning results

CodeQL

Merge branch 'main' into rhodibot/rsr-compliance-20260907

Uh oh!

Select a check to view from the sidebar