Main workflow

Certora #84

Sign in to view logs

Triggered via pull request December 11, 2023 17:56

gadicer

synchronize #6

certora

Status Success

Total duration 2m 54s

Artifacts 2

main.yml

on: pull_request

test / Foundry build n test

Artifacts

Produced during runtime

Name	Size
2a784e527a0acbb69c2ee084ad8fb7eb8ab7823f Expired	30 KB
pr_number Expired	2 Bytes