Skip to content
safe-contracts

Formal verification: Add an invariant for the singleton address #1130

Sign in to view logs

Formal verification: Add an invariant for the singleton address

Formal verification: Add an invariant for the singleton address #1130

Triggered via pull request May 31, 2023 13:39
@mmv08mmv08
synchronize #565
certora/singleton-address-doesnt-change
Status Success
Total duration 2m 35s
Artifacts –

ci.yml

on: pull_request
tests
1m 42s
tests
lint
1m 5s
lint
Matrix: benchmarks
Matrix: tests-other
Fit to window
Zoom out
Zoom in

Annotations

5 warnings
benchmarks (0.8.2)
Node.js 12 actions are deprecated. Please update the following actions to use Node.js 16: actions/checkout@v2, actions/setup-node@v2, actions/cache@v2. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.
lint
Node.js 12 actions are deprecated. Please update the following actions to use Node.js 16: actions/checkout@v2, actions/setup-node@v2, actions/cache@v2. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.
tests
Node.js 12 actions are deprecated. Please update the following actions to use Node.js 16: actions/checkout@v2, actions/setup-node@v2, actions/cache@v2. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.
benchmarks (0.7.6)
Node.js 12 actions are deprecated. Please update the following actions to use Node.js 16: actions/checkout@v2, actions/setup-node@v2, actions/cache@v2. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.
tests-other (SafeL2)
Node.js 12 actions are deprecated. Please update the following actions to use Node.js 16: actions/checkout@v2, actions/setup-node@v2, actions/cache@v2. For more information see: https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/.