Skip to content

revert: disable seccomp in devcontainer. #129

revert: disable seccomp in devcontainer.

revert: disable seccomp in devcontainer. #129

Triggered via push April 2, 2025 20:51
Status Failure
Total duration 17m 45s
Artifacts 1

ci.yml

on: push
Testing
2m 29s
Testing
Check formatting
1m 52s
Check formatting
Kani verification
2m 50s
Kani verification
Build for the STM32 Nucleo L4R5ZI
2m 5s
Build for the STM32 Nucleo L4R5ZI
Fit to window
Zoom out
Zoom in

Annotations

1 error and 5 warnings
Check formatting
Process completed with exit code 2.
Build Container
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Build Container
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Build Container
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Build Container
The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Build Container
The `save-state` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/

Artifacts

Produced during runtime
Name Size Digest
code-coverage-lcov Expired
10.2 KB
sha256:f04081b73b5b4901564d8db9b608d53cdb4bca970191af67514484064327df48