Format and Verify VOSTD (Main)

Add Guard traits without implementation and make rwarc verifiable. #459

Sign in to view logs

Triggered via pull request March 9, 2026 07:13

rikosellic

synchronize #337

Marsman1996:prove-rwarc

Status Success

Total duration 7m 45s

Artifacts –

ci.yml

on: pull_request

format-and-verify