Fix image #289
ci.yml
on: push
Build Container
17s
Testing
16s
Check formatting
12s
Kani verification
15s
Build for the STM32 Nucleo L4R5ZI
17s
Annotations
4 errors and 11 warnings
|
Check formatting
Docker pull failed with exit code 1
|
|
Kani verification
Docker pull failed with exit code 1
|
|
Build for the STM32 Nucleo L4R5ZI
Docker pull failed with exit code 1
|
|
Testing
Docker pull failed with exit code 1
|
|
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/
|
|
Check formatting
Docker pull failed with exit code 1, back off 7.721 seconds before retry.
|
|
Check formatting
Docker pull failed with exit code 1, back off 1.501 seconds before retry.
|
|
Kani verification
Docker pull failed with exit code 1, back off 2.516 seconds before retry.
|
|
Kani verification
Docker pull failed with exit code 1, back off 9.586 seconds before retry.
|
|
Build for the STM32 Nucleo L4R5ZI
Docker pull failed with exit code 1, back off 4.661 seconds before retry.
|
|
Build for the STM32 Nucleo L4R5ZI
Docker pull failed with exit code 1, back off 9.152 seconds before retry.
|
|
Testing
Docker pull failed with exit code 1, back off 4.787 seconds before retry.
|
|
Testing
Docker pull failed with exit code 1, back off 7.79 seconds before retry.
|