Skip to content
Sentry kernel proof with Frama-C

dma: support for sys_dma_get_stream_info syscall #340

Sign in to view logs

dma: support for sys_dma_get_stream_info syscall

dma: support for sys_dma_get_stream_info syscall #340

Triggered via pull request October 7, 2024 09:15
@pthierry-ledgerpthierry-ledger
opened #67
pthierry-ledger:gpdma-getstatus
Status Success
Total duration 8m 8s
Artifacts –

proof.yml

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