Code Verification CI

Apply suggestions from code review #349

Sign in to view logs

Triggered via push December 17, 2024 19:22

120-logging-component

Status Success

Total duration 23m 28s

Artifacts –

proofs.yml

on: push

mps-verify-frama-c

secure-boot-verify-cn