d-flex flex-column width-full">

Merge branch 'main' into chore/push-email-notify

e8c4ccf

Select commit

Loading

Failed to load commit list.

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

.github/workflows/rust-ci.yml on: push 1

.github/workflows/dogfood-gate.yml on: push 1

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

OpenSSF Compliance on: pull_request

openssf-compliance

CodeQL Security Analysis on: pull_request

analyze (actions, none)

Dependabot Auto-Merge on: pull_request

automerge

REUSE compliance on: pull_request

reuse-lint

Backend Matrix on: pull_request

Derive matrix from echidna provers.a2ml

Proof Corpus on: pull_request

idris2 0.8.0 --build vclut-core

Static Analysis Gate on: pull_request

panic-attack assail

Hypatia neurosymbolic scan

.github/workflows/secret-scanner.yml on: push 1

E2E, Property and Aspect Tests on: pull_request

E2E structural validation

Property and integration tests

Aspect tests

Parse Gate on: pull_request

vcltotal-parse — panic-free / clippy / tests

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

.github/workflows/hypatia-scan.yml on: push 1

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

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

REUSE compliance on: push

reuse-lint

Push email notification on: push

Email on push