Skip to content

typo moreExamplesERC20.spec #3

typo moreExamplesERC20.spec

typo moreExamplesERC20.spec #3

Triggered via push February 3, 2024 17:53
Status Failure
Total duration 24s
Artifacts 2

certora.yml

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

Annotations

2 errors and 4 warnings
verify (ghostWithERC20, ghosWithERC20s.conf)
Process completed with exit code 1.
verify (ghostTemplate, ghost.conf)
Process completed with exit code 1.
verify (ghostWithERC20, ghosWithERC20s.conf)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2, actions/setup-python@v2, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
verify (ghostWithERC20, ghosWithERC20s.conf)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verify (ghostTemplate, ghost.conf)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2, actions/setup-python@v2, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
verify (ghostTemplate, ghost.conf)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Artifacts

Produced during runtime
Name Size
output for ghostTemplate Expired
0 Bytes
output for ghostWithERC20 Expired
0 Bytes