Skip to content
Back to pull request #144

use shared opensut CN definitions #363

Sign in to view logs

use shared opensut CN definitions

use shared opensut CN definitions #363

Triggered via push December 20, 2024 22:46
@peterohanleypeterohanley
pushed 055581e
139-gus
Status Success
Total duration 11m 24s
Artifacts –

proofs.yml

on: push
mps-verify-cn
11m 12s
mps-verify-cn
mps-verify-frama-c
6m 21s
mps-verify-frama-c
secure-boot-verify-cn
7m 57s
secure-boot-verify-cn
Fit to window
Zoom out
Zoom in