Skip to content
Code Verification

Use sudo: #28

Sign in to view logs

Use sudo:

Use sudo: #28

Triggered via push June 5, 2024 18:08
@podhrmicpodhrmic
pushed 4f0ceae
35-mps-in-pkvm-ci
Status Failure
Total duration 14m 5s
Billable time 16m
Artifacts –

proofs.yml

on: push
mps-verify-cn
1m 2s
mps-verify-cn
mps-verify-frama-c
13m 56s
mps-verify-frama-c
Fit to window
Zoom out
Zoom in