chore(deps): bump async-trait from 0.1.91 to 0.1.92

7693e27

Select commit

Loading

Failed to load commit list.

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

Security Audit and Analysis on: pull_request 4

Security Audit

Safety Analysis with Clippy

Dependency Review

Deploy Documentation to Pages on: pull_request 1

build

deploy

Verification honesty gate on: pull_request 1

Claim check (README ↔ evidence)

WebAssembly spec suite (conformance number)

Rust CI on: pull_request 74

CI Checks & Docs

Code Quality Checks

Core Tests, Analysis & Coverage

SCORE-Inspired Safety Verification

Verus Formal Verification

Code Coverage

Security Audit (ubuntu-latest)

Security Audit (macos-latest)

Security Audit (windows-latest)

VxWorks Cross-Compilation

Extended Static Analysis (Miri, Kani)

PR Diagnostic Analysis on: pull_request

Analyze Build Diagnostics

CodeQL on: pull_request 3

Analyze (rust)

Code scanning results

CodeQL

GitHub Advanced Security / CodeQL succeeded Aug 17, 2026 in 2s

No new alerts in code changed by this pull request

Loading