Skip to content
Hardhat

[Certora] Dev #1695

Sign in to view logs

[Certora] Dev

[Certora] Dev #1695

Triggered via pull request December 1, 2023 13:13
@QGarcheryQGarchery
synchronize #136
certora/dev
Status Success
Total duration 1m 51s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

hardhat.yml

on: pull_request
yarn-test
1m 38s
yarn-test
Fit to window
Zoom out
Zoom in