Format and Verify VOSTD (PhaseII)

chore: use `path = "src/lib.rs"` to enable verus-analyzer #9

Sign in to view logs

Triggered via push October 24, 2025 10:57

Marsman1996

phaseII/verified

Status Success

Total duration 8m 26s

Artifacts –

ci.yml

on: push

format-and-verify