Skip to content
Sentry kernel proof with Frama-C

uapi meson recipe cleanup #430

Sign in to view logs

uapi meson recipe cleanup

uapi meson recipe cleanup #430

Triggered via pull request November 27, 2024 14:17
@fvalette-ledgerfvalette-ledger
synchronize #97
fvalette-ledger:install-crate-to-local-registry
Status Success
Total duration 7m 46s
Artifacts –

proof.yml

on: pull_request
run_framac
7m 34s
run_framac
Fit to window
Zoom out
Zoom in