Code Verification CI

fixup! CI #390

Sign in to view logs

Triggered via push January 8, 2025 19:17

gus/xmss

Status Failure

Total duration 13m 6s

Artifacts –

proofs.yml

on: push

mps-verify-frama-c

secure-boot-verify-cn