Skip to content

Merge pull request #40 from bgd-labs/feat/mix-bytes-audit #79

Merge pull request #40 from bgd-labs/feat/mix-bytes-audit

Merge pull request #40 from bgd-labs/feat/mix-bytes-audit #79

Triggered via push December 1, 2023 11:45
Status Failure
Total duration 2h 2m 20s
Artifacts

certora.yml

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

Annotations

4 errors and 4 warnings
verify (community.conf)
Process completed with exit code 1.
verify (delegate.conf)
Process completed with exit code 1.
verify (erc20.conf)
Process completed with exit code 1.
verify (general.conf)
Process completed with exit code 1.
verify (community.conf)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verify (delegate.conf)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verify (erc20.conf)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
verify (general.conf)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-python@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/