Skip to content
Code Verification CI

Use lifted struct type instead of CN datatype #418

Sign in to view logs

Use lifted struct type instead of CN datatype

Use lifted struct type instead of CN datatype #418

Triggered via push February 12, 2025 19:36
@peterohanleypeterohanley
pushed 53cb312
gus/xmss
Status Failure
Total duration 14m 4s
Artifacts –

proofs.yml

on: push
mps-verify-cn
13m 53s
mps-verify-cn
mps-verify-frama-c
2m 52s
mps-verify-frama-c
secure-boot-verify-cn
8m 25s
secure-boot-verify-cn
Fit to window
Zoom out
Zoom in