Skip to content

Add a nix flake with a shell #284

Add a nix flake with a shell

Add a nix flake with a shell #284

Re-run triggered November 1, 2025 15:38
Status Failure
Total duration 27s
Artifacts

ci.yml

on: pull_request
Build Container
21s
Build Container
Testing
0s
Testing
Check formatting
0s
Check formatting
Kani verification
0s
Kani verification
Build for the STM32 Nucleo L4R5ZI
0s
Build for the STM32 Nucleo L4R5ZI
Fit to window
Zoom out
Zoom in

Annotations

1 error and 2 warnings
Build Container
buildx failed with: ERROR: failed to build: failed to solve: failed to push ghcr.io/osirisrtos/osiris/devcontainer:refs-pull-34-merge: denied: installation not allowed to Write organization package
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/