Skip to content
basic CI

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

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 #25

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

main.yml

on: push
mps-build
2m 29s
mps-build
mps-test
5m 10s
mps-test
Fit to window
Zoom out
Zoom in