Skip to content
Sentry kernel proof with Frama-C

dts: removing autotest-relative shm from non-autotest build #205

Sign in to view logs

dts: removing autotest-relative shm from non-autotest build

dts: removing autotest-relative shm from non-autotest build #205

Triggered via pull request August 29, 2024 12:26
@pthierry-ledgerpthierry-ledger
synchronize #22
dts-fix
Status Success
Total duration 8m 32s
Billable time 9m
Artifacts –

proof.yml

on: pull_request
run_framac
8m 23s
run_framac
Fit to window
Zoom out
Zoom in

Annotations

1 warning
run_framac
The following actions use a deprecated Node.js version and will be forced to run on node20: stellar-aria/llvm-embedded-toolchain-for-arm-action@v1. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/