Merge pull request #163 from esbmc/improvements-2 #346
Yiannis128Annotations
1 error and 4 warnings
|
PyTest
Process completed with exit code 1.
|
|
Get Requirements
Your workflow is using a version of actions/cache that is scheduled for deprecation, actions/cache@v4.1.2. Please update your workflow to use either v3 or v4 of actions/cache to avoid interruptions. Learn more: https://github.blog/changelog/2024-12-05-notice-of-upcoming-releases-and-breaking-changes-for-github-actions/#actions-cache-v1-v2-and-actions-toolkit-cache-package-closing-down
|
|
PyLint
Your workflow is using a version of actions/cache that is scheduled for deprecation, actions/cache@v4.1.2. Please update your workflow to use either v3 or v4 of actions/cache to avoid interruptions. Learn more: https://github.blog/changelog/2024-12-05-notice-of-upcoming-releases-and-breaking-changes-for-github-actions/#actions-cache-v1-v2-and-actions-toolkit-cache-package-closing-down
|
|
PyTest
Your workflow is using a version of actions/cache that is scheduled for deprecation, actions/cache@v4.1.2. Please update your workflow to use either v3 or v4 of actions/cache to avoid interruptions. Learn more: https://github.blog/changelog/2024-12-05-notice-of-upcoming-releases-and-breaking-changes-for-github-actions/#actions-cache-v1-v2-and-actions-toolkit-cache-package-closing-down
|
|
Build
Your workflow is using a version of actions/cache that is scheduled for deprecation, actions/cache@v4.1.2. Please update your workflow to use either v3 or v4 of actions/cache to avoid interruptions. Learn more: https://github.blog/changelog/2024-12-05-notice-of-upcoming-releases-and-breaking-changes-for-github-actions/#actions-cache-v1-v2-and-actions-toolkit-cache-package-closing-down
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
build
|
109 KB |
|
|
requirements
|
372 Bytes |
|