Always use main container #287
ci.yml
on: push
Build Container
22s
Testing
18s
Check formatting
15s
Kani verification
20s
Build for the STM32 Nucleo L4R5ZI
12s
Annotations
4 errors and 11 warnings
|
Build for the STM32 Nucleo L4R5ZI
Docker pull failed with exit code 1
|
|
Check formatting
Docker pull failed with exit code 1
|
|
Testing
Docker pull failed with exit code 1
|
|
Kani verification
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/
|
|
Build for the STM32 Nucleo L4R5ZI
Docker pull failed with exit code 1, back off 2.02 seconds before retry.
|
|
Build for the STM32 Nucleo L4R5ZI
Docker pull failed with exit code 1, back off 5.89 seconds before retry.
|
|
Check formatting
Docker pull failed with exit code 1, back off 8.691 seconds before retry.
|
|
Check formatting
Docker pull failed with exit code 1, back off 1.145 seconds before retry.
|
|
Testing
Docker pull failed with exit code 1, back off 7.556 seconds before retry.
|
|
Testing
Docker pull failed with exit code 1, back off 6.071 seconds before retry.
|
|
Kani verification
Docker pull failed with exit code 1, back off 7.108 seconds before retry.
|
|
Kani verification
Docker pull failed with exit code 1, back off 8.165 seconds before retry.
|