Skip to content
Sentry kernel proof with Frama-C

uapi: remove println macro from uapi #423

Sign in to view logs

uapi: remove println macro from uapi

uapi: remove println macro from uapi #423

Triggered via pull request November 26, 2024 10:30
@fvalette-ledgerfvalette-ledger
opened #96
fvalette-ledger:remove_println_from_uapi
Status Success
Total duration 7m 40s
Artifacts –

proof.yml

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