fix: add serial_test annotations and fix borrowing in tests #363
avrabeci.yml
on: pull_request
CI Checks & Docs
13m 20s
Core Tests, Analysis & Coverage
14m 56s
SCORE-Inspired Safety Verification
3m 21s
Code Quality Checks
3m 16s
Code Coverage
3m 52s
Matrix: audit
Extended Static Analysis (Miri, Kani)
Annotations
7 errors and 23 warnings
|
Code Quality Checks
Process completed with exit code 101.
|
|
Code Quality Checks
Process completed with exit code 101.
|
|
SCORE-Inspired Safety Verification
Process completed with exit code 1.
|
|
SCORE-Inspired Safety Verification
Process completed with exit code 1.
|
|
Code Coverage
Process completed with exit code 1.
|
|
CI Checks & Docs
Process completed with exit code 1.
|
|
Core Tests, Analysis & Coverage
Process completed with exit code 1.
|
|
Security Audit (ubuntu-latest)
Unknown warning kind unsound found, please, file a bug
|
|
Security Audit (ubuntu-latest)
4 warnings found!
|
|
Code Quality Checks
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/
|
|
Code Quality Checks
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/
|
|
Code Quality Checks
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/
|
|
Code Quality Checks
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/
|
|
SCORE-Inspired Safety Verification
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/
|
|
SCORE-Inspired Safety Verification
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/
|
|
SCORE-Inspired Safety Verification
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/
|
|
SCORE-Inspired Safety Verification
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/
|
|
Security Audit (macos-latest)
Unknown warning kind unsound found, please, file a bug
|
|
Security Audit (macos-latest)
4 warnings found!
|
|
Security Audit (windows-latest)
Unknown warning kind unsound found, please, file a bug
|
|
Security Audit (windows-latest)
4 warnings found!
|
|
CI Checks & Docs
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/
|
|
CI Checks & Docs
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/
|
|
CI Checks & Docs
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/
|
|
CI Checks & Docs
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/
|
|
Core Tests, Analysis & Coverage
This action is being deprecated in favor of 'codecov-action'.
Please update CI accordingly to use 'codecov-action@v5' with
'report_type: test_results'.
The 'codecov-action' should and can be run at least once for
coverage and once for test results
|
|
Core Tests, Analysis & Coverage
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/
|
|
Core Tests, Analysis & Coverage
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/
|
|
Core Tests, Analysis & Coverage
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/
|
|
Core Tests, Analysis & Coverage
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/
|