Certora squashed #1
Annotations
1 error and 2 warnings
|
Re-run tests
Process completed with exit code 1.
|
|
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: pnpm/action-setup@c3b53f6a16e57305370b4ae5a540c2077a1d50dd, actions/setup-go@v4, actions/cache@v3, actions/download-artifact@9bc31d5ccc31df68ecc42ccf4149144866c47d8a, actions/upload-artifact@3cea5372237819ed00197afe530f5a7ea3e805c8. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
Store logs artifacts
No files were found with the provided path: ./output.txt. No artifacts will be uploaded.
|
Loading