Skip to content
Verify VOSTD (Main) with verus-lang/verus

fix: use returns for functions that only specify the return value (… #8

Sign in to view logs

fix: use returns for functions that only specify the return value (…

fix: use returns for functions that only specify the return value (… #8

Triggered via push March 7, 2026 10:38
@rikosellicrikosellic
pushed 15d08f8
main
Status Success
Total duration 7m 40s
Artifacts –

ci-upstream-verus.yml

on: push
verify-upstream-verus
7m 37s
verify-upstream-verus
Fit to window
Zoom out
Zoom in