Skip to content
Code Verification

Make frama-c CI job script multiline, and explicitly create a directory #3

Sign in to view logs

Make frama-c CI job script multiline, and explicitly create a directory

Make frama-c CI job script multiline, and explicitly create a directory #3

Triggered via push May 30, 2024 16:18
@podhrmicpodhrmic
pushed b9ba4df
48-verify-mps-in-ci
Status Failure
Total duration 1m 37s
Artifacts –

proofs.yml

on: push
mps-verify-cn
48s
mps-verify-cn
mps-verify-frama-c
1m 27s
mps-verify-frama-c
Fit to window
Zoom out
Zoom in