Code Verification CI

address review comments #386

Sign in to view logs

Triggered via push January 8, 2025 03:45

gus-reword

Status Success

Total duration 25m 14s

Artifacts –

proofs.yml

on: push

mps-verify-frama-c

secure-boot-verify-cn