Skip to content
Certora

[Certora] Update verification #88

Sign in to view logs

[Certora] Update verification

[Certora] Update verification #88

Triggered via pull request June 19, 2024 13:12
@QGarcheryQGarchery
synchronize #139
certora/update-verification
Status Failure
Total duration 25s
Artifacts –

certora.yml

on: pull_request
Matrix: verify
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 2 warnings
verify (DllSimple)
Process completed with exit code 127.
verify (DllFifo)
Process completed with exit code 127.
verify (DllSimple)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
verify (DllFifo)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-python@v4. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.