Skip to content
Hardhat tests (Common contracts)

Certora formally verified rewards checker #671

Sign in to view logs

Certora formally verified rewards checker

Certora formally verified rewards checker #671

Triggered via pull request December 7, 2023 13:11
@QGarcheryQGarchery
synchronize #1656
certora-rewards
Status Success
Total duration 45s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci-hardhat-common.yml

on: pull_request
eth-mainnet
37s
eth-mainnet
Fit to window
Zoom out
Zoom in