Skip to content
Sentry kernel proof with Frama-C

Add stm32wb soc family #498

Sign in to view logs

Add stm32wb soc family

Add stm32wb soc family #498

Triggered via pull request January 8, 2025 16:04
@fvalette-ledgerfvalette-ledger
synchronize #114
fvalette-ledger:add-smt32wb-soc-family
Status Cancelled
Total duration 1m 57s
Artifacts –

proof.yml

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

Annotations

2 errors
run_framac
Canceling since a higher priority waiting request for 'Sentry kernel proof with Frama-C-refs/pull/114/merge' exists
run_framac
The operation was canceled.