Skip to content
Sentry kernel proof with Frama-C

UAPI: move extern C to dediacted ffi_c module #436

Sign in to view logs

UAPI: move extern C to dediacted ffi_c module

UAPI: move extern C to dediacted ffi_c module #436

Triggered via pull request December 6, 2024 15:01
@pthierry-ledgerpthierry-ledger
opened #99
pthierry-ledger:uapi-for-rust
Status Cancelled
Total duration 2m 9s
Artifacts –

proof.yml

on: pull_request
run_framac
1m 59s
run_framac
Fit to window
Zoom out
Zoom in

Annotations

1 error
run_framac
Canceling since a higher priority waiting request for 'Sentry kernel proof with Frama-C-refs/pull/99/merge' exists