Skip to content
Sentry kernel proof with Frama-C

arch,cortex-m: add stm32h573 to kconfig entry #538

Sign in to view logs

arch,cortex-m: add stm32h573 to kconfig entry

arch,cortex-m: add stm32h573 to kconfig entry #538

Triggered via pull request January 16, 2025 11:11
@fvalette-ledgerfvalette-ledger
opened #119
fvalette-ledger:add-stm32h5-soc-family
Status Success
Total duration 7m 20s
Artifacts –

proof.yml

on: pull_request
run_framac
7m 10s
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