fix: address certora feedback #100

Sign in to view logs

Triggered via pull request September 2, 2024 07:40

sakulstra

synchronize #14

fix/address-certora-feedback

Status Success

Total duration 3m 17s

Artifacts 2

test.yml

on: pull_request

Foundry build n test

Artifacts

Produced during runtime

Name	Size
6b9dad16b9fb10cc94784d260fc91e7d80310f10	12.5 KB
pr_number	145 Bytes