Skip to content
Sentry kernel proof with Frama-C

Install crate to local registry (#98) #438

Sign in to view logs

Install crate to local registry (#98)

Install crate to local registry (#98) #438

Triggered via push December 6, 2024 15:08
@pthierry-ledgerpthierry-ledger
pushed 1a952e0
v0.3.0
Status Success
Total duration 7m 47s
Artifacts –

proof.yml

on: push
run_framac
7m 38s
run_framac
Fit to window
Zoom out
Zoom in

Annotations

1 warning
run_framac
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636