certora

Move runtime dependencies to `dependencies` #7

Sign in to view logs

Triggered via push July 8, 2024 17:28

andrewwahid

main

Status Success

Total duration 34m 38s

Artifacts –

certora_recovery.yml

on: push

Matrix: verify